mathlib

c686fcc1 - feat(analysis/specific_limits): add `tendsto_zero_smul_of_tendsto_zero_of_bounded` (#12039)

feat(analysis/specific_limits): add `tendsto_zero_smul_of_tendsto_zero_of_bounded` (#12039) Co-authored-by: Patrick Massot <patrickmassot@free.fr> Co-authored-by: Anatole Dedecker <anatolededecker@gmail.com>