Theorem ZMod.nat_cast_eq_nat_cast_iff

Modification history