Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.uniform_continuous_of_tendsto_cocompact

Modification history

2023-02-10 10:20
src/topology/uniform_space/compact.lean
feat(analysis/fourier): Riemann-Lebesgue lemma (part 1) (#18361) …
Added continuous.uniform_continuous_of_tendsto_cocompactView on Github →