Mathlib v3 is deprecated. Go to Mathlib v4

Theorem separated_def

Modification history

2019-03-05 14:15

src/topology/uniform_space/basic.lean

feat(topology): split uniform_space and topological_structure

Modified separated_def View on Github →

2018-01-19 16:18

analysis/topology/uniform_space.lean

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

Added separated_def View on Github →