Mathlib v3 is deprecated. Go to Mathlib v4

Theorem dense_iff_inter_open

Modification history

2020-02-05 06:25

src/topology/basic.lean

refactor(*): migrate from `≠ ∅` to `set.nonempty` (#1954) …

Modified dense_iff_inter_open View on Github →

2018-08-29 02:46

analysis/topology/topological_space.lean

feat(analysis/topology): density and continuity lemmas (#292) …

Added dense_iff_inter_open View on Github →