Theorem Fin.cons_rev

Modification history