Theorem Subalgebra.topologicalClosure_mono

Modification history

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