Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.uniform_continuous_of_zero_at_infty

Modification history

2023-02-10 10:20
src/topology/uniform_space/compact.lean
feat(analysis/fourier): Riemann-Lebesgue lemma (part 1) (#18361) …
Deleted continuous.uniform_continuous_of_zero_at_inftyView on Github →
2022-12-12 06:59
src/topology/uniform_space/compact.lean
feat(topology): `zero_at_infty_continuous_map`s are `uniform_continuous` (#17767) …
Added continuous.uniform_continuous_of_zero_at_inftyView on Github →