mathlib3

25706131 - feat(measure_theory/integral/set_integral): add `set_integral_indicator` (#15344)