Def Subsemigroup.map

Modification history