Theorem Fin.fin_append_apply_zero

Modification history