Theorem NonUnitalStarSubalgebra.topologicalClosure_minimal

Modification history