Theorem TopologicalSpace.separableSpace_of_denseRange

Modification history

2023-07-11 20:21
Mathlib/Topology/Bases.lean
feat: add `SeparableSpace` instances (#5801)
Deleted TopologicalSpace.separableSpace_of_denseRangeView on Github →
2023-02-01 00:30
Mathlib/Topology/Bases.lean
feat: port Topology.Bases (#1910)
Added TopologicalSpace.separableSpace_of_denseRangeView on Github →