Mathlib v3 is deprecated. Go to Mathlib v4

Theorem uniform_continuous_of_le_add

Modification history

2019-11-20 17:12
src/topology/metric_space/lipschitz.lean
refactor(topology/metric_space/lipschitz): review API of `lipschitz_with` (#1700) …
Deleted uniform_continuous_of_le_addView on Github →
2019-01-29 13:17
src/topology/metric_space/lipschitz.lean
move continuous_of_lipschitz around
Added uniform_continuous_of_le_addView on Github →