Theorem Fin.append_elim0'

Modification history