Theorem Ideal.coe_closure

Modification history

2023-03-09 18:34
Mathlib/Topology/Algebra/Ring/Ideal.lean
feat: port Topology.Algebra.Ring.Ideal (#2754)
Added Ideal.coe_closureView on Github →