我无法让我的数组公式自动复制我的公式。
我尝试了各种迭代,但似乎只是复制了相同的值。
有人可以告诉我我要去哪里了吗?
此处示例:
https://docs.google.com/spreadsheets/d/1vN2alv94yhdXI01NdDpoziRuQq938lu-_MoFYDadxh4/edit?usp=sharing
答案 0 :(得分:0)
答案 1 :(得分:0)
From mathcomp Require Import all_ssreflect.
Set Implicit Arguments.
Unset Strict Implicit.
Unset Printing Implicit Defensive.
Section EqList.
Variables (A : eqType).
Implicit Types (l : seq A).
Fixpoint eqb_list l1 l2 {struct l1} : bool :=
match l1,l2 with
| [::], [::] => false
| (x1::l1), (x2::l2) => [&& x1 == x2 & eqb_list l1 l2]
| _, _ => false
end.
Lemma eqb_list_true_iff_left_to_right l1 l2 :
eqb_list l1 l2 = true -> l1 = l2.
Proof.
move E: l1 l2 => l1'; elim: l1' l1 E => [|x1 l1 ihl1] [|? ?] // ? [|x2 l2] //=.
by case/andP=> /eqP-> /(ihl1 l1 erefl)->.
Qed.
答案 2 :(得分:0)