Theorem MeasureTheory.laverage_eq_lintegral

Modification history