Theorem NonUnitalStarSubalgebra.le_topologicalClosure

Modification history