 Fubini's theorem

Fubini's theorem permits the order of integration of an absolutely integrable function on a product measure space to be exchanged.