mathlib3

bc2f73f7 - feat(topology/uniform_space/uniform_convergence): Product of `tendsto_uniformly` (#11562)

feat(topology/uniform_space/uniform_convergence): Product of `tendsto_uniformly` (#11562) This PR adds lemmas `tendsto_uniformly_on.prod` and `tendsto_uniformly.prod`. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>