Theorem Fin.append_snoc

Modification history