Theorem Fin.cons_update

Modification history