Theorem UniformContinuous.continuous

Modification history

2025-10-15 11:11

Mathlib/Topology/UniformSpace/Basic.lean

feat: missing basic API for uniformly continuous functions (#30531)

Modified UniformContinuous.continuous View on Github →

2023-02-02 05:07

Mathlib/Topology/UniformSpace/Basic.lean

feat: port Topology.UniformSpace.Basic (#1993)

Added UniformContinuous.continuous View on Github →