Theorem uniform_space.ring_sep_quot
Modification history
2021-03-29 13:12
src/topology/algebra/uniform_ring.lean
chore(*): long lines (#6939) …
Modified uniform_space.ring_sep_quotView on Github →2019-03-05 14:15
src/topology/algebra/quotient.lean
feat(topology): split uniform_space and topological_structure
Modified uniform_space.ring_sep_quotView on Github →