Theorem AddCommGroup.neg_modEq_neg

Modification history