Theorem ZMod.natCast_toNat

Modification history