Def Subsemiring.closure

Modification history