Theorem ZMod.natCast_eq_natCast_iff'

Modification history