Theorem MeasureTheory.integral_image_eq_integral_abs_deriv_smul

Modification history