Theorem quotient_ring.quotient_map_coe_coe
Modification history
2023-03-02 00:11
src/topology/algebra/ring/basic.lean
chore(topology/algebra/ring): split into 2 files (#18532)
Modified quotient_ring.quotient_map_coe_coeView on Github →2019-03-05 14:15
src/topology/algebra/quotient.lean
feat(topology): split uniform_space and topological_structure
Modified quotient_ring.quotient_map_coe_coeView on Github →