Theorem UniformContinuousOn.mono

Modification history

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