Theorem Fin.update_cons_zero

Modification history