Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zero_at_infty_continuous_map.uniform_continuous

Modification history

2022-12-12 06:59
src/topology/continuous_function/zero_at_infty.lean
feat(topology): `zero_at_infty_continuous_map`s are `uniform_continuous` (#17767) …
Added zero_at_infty_continuous_map.uniform_continuousView on Github →