Theorem Fin.addNat_inj

Modification history