Theorem ENat.iInf_toNat

Modification history