Theorem Fin.cons_zero

Modification history