mathlib3

refactor: change notation for interval integrals

#19225

Closed