mathlib

1442f70a - feat(measure_theory/interval_integral): variants of integral_comp lemmas (#7103)