Theorem uniformContinuous_of_uniform_approx_of_uniformContinuous

Modification history

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