Theorem uniformContinuousOn_of_uniform_approx_of_uniformContinuousOn

Modification history

2025-12-07 18:39
Mathlib/Topology/UniformSpace/UniformApproximation.lean
feat(Topology): UniformContinuous version of uniform limit theorem (#32079) …
Added uniformContinuousOn_of_uniform_approx_of_uniformContinuousOnView on Github →