Theorem AddCommGroup.modEq_sub_iff_add_modEq'

Modification history