Def Subsemigroup.prodEquiv

Modification history