Theorem Fin.cons_last

Modification history