mathlib

ff910dca - feat(topology/bounded_continuous_function): composition of limits when uniform convergence (#2260)

feat(topology/bounded_continuous_function): composition of limits when uniform convergence (#2260) * feat(topology/bounded_continuous_function): composition of limits when uniform convergence * better statement * uniform space version * cleanup * fix linter * reviewer's comments Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>