Theorem ZMod.nat_cast_toNat

Modification history