Theorem MeasureTheory.average_eq_integral

Modification history