Theorem UniformContinuous.uniformContinuousOn

Modification history

2025-10-15 11:11
Mathlib/Topology/UniformSpace/Basic.lean
feat: missing basic API for uniformly continuous functions (#30531)
Added UniformContinuous.uniformContinuousOnView on Github →