Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nhds_le_uniformity

Modification history

2020-11-11 13:39
src/topology/uniform_space/basic.lean
feat(measure_theory/borel_space): continuity set of a function is measurable (#4967) …
Modified nhds_le_uniformityView on Github →
2020-06-26 15:11
src/topology/uniform_space/basic.lean
chore(*): last preparations for Heine (#3179) …
Added nhds_le_uniformityView on Github →