Commit 2022-01-20 11:33 447928c9
View on Github →feat(topology/uniform_space/uniform_convergence): Composition on the left (#11560) Composing on the left by a uniformly continuous function preserves uniform convergence.
feat(topology/uniform_space/uniform_convergence): Composition on the left (#11560) Composing on the left by a uniformly continuous function preserves uniform convergence.