Commit 2024-10-05 16:18 3e10c4bf
View on Github →feat(Topology/UniformSpace/UniformConvergence): add lemma (#15398) We add a lemma that says that composing on the left by a uniformly continuous function on the codomain preserves uniform convergence.