Theorem NonUnitalStarSubalgebra.isClosed_topologicalClosure

Modification history