Theorem MeasureTheory.laverage_mul_measure_univ

Modification history

2025-02-13 05:14
Mathlib/MeasureTheory/Integral/Average.lean
chore(MeasureTheory): process porting notes (#21787)
Added MeasureTheory.laverage_mul_measure_univView on Github →