Mathlib v3 is deprecated. Go to Mathlib v4

Theorem supr_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) …
Added supr_nhds_le_uniformityView on Github →