Theorem quotient_ring_saturate
Modification history
2021-06-16 18:44
src/topology/algebra/ring.lean
doc(topology/algebra/ring): add module docs + tidy (#7893)
Deleted quotient_ring_saturateView on Github →2019-09-10 09:32
src/topology/algebra/ring.lean
chore(topology): sanity_check pass (#1416) …
Modified quotient_ring_saturateView on Github →