Mathlib v3 is deprecated. Go to Mathlib v4

Theorem uniform.continuous_at_iff_prod

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 uniform.continuous_at_iff_prodView on Github →