Theorem Ideal.closure_eq_of_isClosed

Modification history

2023-06-14 00:07
Mathlib/Topology/Algebra/Ring/Ideal.lean
feat: port Topology.ContinuousFunction.Ideals (#4852)
Modified Ideal.closure_eq_of_isClosedView on Github →
2023-03-09 18:34
Mathlib/Topology/Algebra/Ring/Ideal.lean
feat: port Topology.Algebra.Ring.Ideal (#2754)
Added Ideal.closure_eq_of_isClosedView on Github →