Theorem UniformOnFun.uniformContinuous_eval

Modification history

2024-07-01 13:36

Mathlib/Topology/UniformSpace/UniformConvergenceTopology.lean

feat: generalize `CompleteSpace (ContinuousMultilinearMap _ _ _)` to TVS (#13468)

Added UniformOnFun.uniformContinuous_eval View on Github →