Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_compact.uniform_continuous_at_of_continuous_at

Modification history

2022-12-12 06:59
src/topology/uniform_space/compact.lean
feat(topology): `zero_at_infty_continuous_map`s are `uniform_continuous` (#17767) …
Added is_compact.uniform_continuous_at_of_continuous_atView on Github →