Theorem MeasureTheory.Measure.integral_comp_inv_smul

Modification history