Theorem ZMod.natCast_val

Modification history