Theorem MeasureTheory.measurable_mlconvolution

Modification history

2025-06-02 07:15
Mathlib/Analysis/LConvolution.lean
feat(Analysis): lconvolution API (#25260) …
Modified MeasureTheory.measurable_mlconvolutionView on Github →
2025-04-23 07:25
Mathlib/Analysis/LConvolution.lean
feat(Analysis): add `mlconvolution` and `lconvolution`, Convolution with the Lebesgue integral (#23299) …
Added MeasureTheory.measurable_mlconvolutionView on Github →