Swap integral signs and other

Stream: Is there code for X?

[Junqi Liu]

Is there some example about swapping integral signs and finset sum or integral signs and integral signs?

[llllvvuu]

docs#MeasureTheory.integral_integral_swap
docs#Finset.sum_comm
docs#tsum_sum
docs#tsum_comm
(and neighboring variants)

[Kim Morrison]

moogle.ai is also not bad at questions (literally) like this.