Theorem AddCommGroup.modEq_iff_eq_add_zsmul

Modification history