uniform_convergence): Composition on the left (#11560)

Commit

3 years ago

feat(topology/uniform_space/uniform_convergence): Composition on the left (#11560) Composing on the left by a uniformly continuous function preserves uniform convergence.

Author

tb65536

Parents

5a40c33f

mathlib 447928c9 - feat(topology/uniform_space/uniform_convergence): Composition on the left (#11560)

mathlib
447928c9 - feat(topology/uniform_space/uniform_convergence): Composition on the left (#11560)