Commit 2022-10-01 14:05 21347ef2

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