Commit 2022-09-22 05:58 ec5f9adc
View on Github →feat(analysis/convolution): relax typeclasses and add lemma (#16587)
- Relax type-class conditions on
measure_theory.integrable.integrable_convolutionandconvolution_flip - Add
integral_convolution
feat(analysis/convolution): relax typeclasses and add lemma (#16587)
measure_theory.integrable.integrable_convolution and convolution_flipintegral_convolution