feat(measure_theory/interval_integral): generalize `add_adjacent_intervals` to n-ary sum (#8050)
feat(measure_theory/interval_integral): generalize `add_adjacent_intervals` to n-ary sum (#8050)






leanprover-community/mathlib,leanprover-community/mathlib