Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-16 18:44 366a4496

View on Github →

doc(topology/algebra/ring): add module docs + tidy (#7893)

Estimated changes

Modified src/ring_theory/ideal/basic.lean

added theorem ideal.quotient.quotient_ring_saturate

Modified src/topology/algebra/ring.lean

modified theorem ideal.coe_closure

deleted theorem quotient_ring_saturate