Theorem NonUnitalSubalgebra.topologicalClosure_mono

Modification history

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