Theorem NonUnitalStarSubalgebra.topologicalClosure_mono

Modification history

2026-02-26 23:01
Mathlib/Topology/Algebra/NonUnitalStarAlgebra.lean
feat: `Subobject.topologicalClosure_mono` (#35205) …
Added NonUnitalStarSubalgebra.topologicalClosure_monoView on Github →