proposition: Theorem In10' : In 10 [1;2;3;4;5;6;7;8;9;10].
proof: Proof. repeat simpl. repeat (left; reflexivity). repeat (right; try (left; reflexivity)). Qed.
imports: Coq(Bool.Bool) Coq(Init.Nat) Coq(Arith.Arith) Coq(Arith.EqNat) Coq(Lia) Coq(Lists.List) Coq(Strings.String) LF(Maps)