Def NonUnitalSubring.topologicalClosure

Modification history