Theorem Subring.le_topologicalClosure

Modification history