Theorem AddCommGroup.modEq_sub_iff_add_modEq

Modification history