Theorem ENat.toNat_ofNat

Modification history