Def Subsemigroup.ofClass

Modification history