Theorem StarAlgHom.ext_topologicalClosure

Modification history