Def Subring.topologicalClosure

Modification history

2025-04-13 02:25
Mathlib/Topology/Algebra/Ring/Basic.lean
chore(*): rename ring type variables (#23939) …
Modified Subring.topologicalClosureView on Github →
2023-03-04 08:59
Mathlib/Topology/Algebra/Ring/Basic.lean
feat: port Topology.Algebra.Ring.Basic (#2614)
Added Subring.topologicalClosureView on Github →