Theorem quotient_dense_of_dense
Modification history
2020-10-13 21:59
src/topology/constructions.lean
refactor(*): migrate to `dense` API (#4447) …
Deleted quotient_dense_of_denseView on Github →2019-10-12 20:07
src/topology/constructions.lean
refactor(topology): mild reorganization (#1541) …
Modified quotient_dense_of_denseView on Github →2019-03-03 19:05
src/topology/basic.lean
chore(topology): Splits topology.basic and topology.continuity (#785) …
Modified quotient_dense_of_denseView on Github →