Theorem ZMod.eq_iff_modEq_nat

Modification history