Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-29 02:42 79bb95c5

View on Github →

feat(analysis/topology, data/set): some zerology (#295)

Estimated changes

Modified analysis/topology/topological_space.lean

added theorem closure_empty_iff

Modified data/set/basic.lean

added theorem set.nonempty_iff_univ_ne_empty

added theorem set.nonempty_of_nonempty_range