Theorem StarSubalgebra.le_topologicalClosure

Modification history