Theorem StarSubalgebra.topologicalClosure_toSubalgebra_comm

Modification history