Theorem AddCommGroup.modEq_iff_eq_mod_zmultiples

Modification history