Def Subring.closure

Modification history