mathlib3

5f62d3bb - feat(topology/bounded_continuous_functions): more general uniform convergence (#2165)

feat(topology/bounded_continuous_functions): more general uniform convergence (#2165) * feat(topology/buonded_continuous_functions): more general uniform convergence * yury's comments Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>