Theorem Fin.append_elim0

Modification history