Theorem Fin.snoc_eq_append

Modification history