Theorem MeasureTheory.Measure.mconv_assoc

Modification history

2025-03-25 10:42
Mathlib/MeasureTheory/Group/Convolution.lean
feat(MeasureTheory): add API to convolution of measures and lintegrals (#23292) …
Added MeasureTheory.Measure.mconv_assocView on Github →