mathlib3

4c96b8a5 - feat(measure_theory/measure/set_integral): new lemma integral_Union (#9093)