mathlib3

8cfada11 - doc(measure_theory/interval_integral): move comment (#6386)