Theorem NonUnitalSubsemiring.topologicalClosure_mono

Modification history

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