Theorem UniformFun.uniformContinuous_eval

Modification history

2023-02-24 03:17

Mathlib/Topology/UniformSpace/UniformConvergenceTopology.lean

feat: port Topology.UniformSpace.UniformConvergenceTopology (#2159)

Added UniformFun.uniformContinuous_eval View on Github →