Theorem quotientAddGroup.equivIcoMod_zero

Modification history