Theorem StarSubalgebra.topologicalClosure_mono

Modification history