mathlib3

218ef40a - feat(measure_theory): image of Lebesgue measure under shift/rescale (#3760)