Theorem UniformContinuous.comp_uniformContinuousOn

Modification history

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