Theorem ideal.coe_closure
Modification history
2023-03-02 00:11
src/topology/algebra/ring/basic.lean
chore(topology/algebra/ring): split into 2 files (#18532)
Modified ideal.coe_closureView on Github →2021-06-16 18:44
src/topology/algebra/ring.lean
doc(topology/algebra/ring): add module docs + tidy (#7893)
Modified ideal.coe_closureView on Github →