Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mem_closure_iff

Modification history

2020-02-05 06:25

src/topology/basic.lean

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

Modified mem_closure_iff View on Github →

2018-01-19 16:18

analysis/topology/topological_space.lean

feat(data/real,*): supporting material for metric spaces

Added mem_closure_iff View on Github →