Theorem Fin.addNat_lt_addNat_iff

Modification history