Def UniformOnFun.uniformEquivUniformFun

Modification history

2024-05-08 01:12

Mathlib/Topology/UniformSpace/UniformConvergenceTopology.lean

feat(UniformConvergenceTopology): prove `CompleteSpace` (#10844)

Added UniformOnFun.uniformEquivUniformFun View on Github →