Def Subsemigroup.closure

Modification history