Theorem Fin.elim0_append

Modification history