Theorem uniformContinuous_swap

Modification history

2025-10-15 11:11

Mathlib/Topology/UniformSpace/Basic.lean

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

Added uniformContinuous_swap View on Github →