reflexivityつおい

Require Import List.
Theorem sum_10_eq_55 : fold_left (fun y x => y + x) (seq 1 10) 0 = 55.
Proof. reflexivity. Qed.

ぅゎ、reflexivity っぉぃ。