Theorem Fin.succ_one_eq_two

Modification history