mathlib3

ec5f9adc - feat(analysis/convolution): relax typeclasses and add lemma (#16587)

feat(analysis/convolution): relax typeclasses and add lemma (#16587) * Relax type-class conditions on `measure_theory.integrable.integrable_convolution` and `convolution_flip` * Add `integral_convolution`