Def StarSubalgebra.topologicalClosure

Modification history