mathlib

3abed726 - feat(measure_theory/integral/set_integral): First moment method