mathlib3

21347ef2 - feat(analysis/convolution): prove that parametric convolution tends to a specific value (#16704)

feat(analysis/convolution): prove that parametric convolution tends to a specific value (#16704) * Prove `convolution_tendsto_right` which shows that the convolution tends to a value when all three relevant arguments vary (in the previous version only the first argument varied). * This lemma can be used to simplify a proof in the sphere eversion project