Def Submonoid.subsemiringClosure

Modification history