Mathlib v3 is deprecated. Go to Mathlib v4

Theorem uniform_continuous_on_univ

Modification history

2021-07-31 20:17
src/topology/uniform_space/basic.lean
feat(topology/metric_space/holder): add `holder_on_with` (#8454)
Added uniform_continuous_on_univView on Github →