Theorem Fin.append_cons

Modification history