Theorem Fin.cons_le_cons

Modification history