Def MulEquiv.comapSubgroup

Modification history