Fubini's theorem relates the double integral of a function $f(x,y)$ to an iterated integral with respect to $x$ and $y$. The basic idea of this theorem for Riemann integrals of continuous functions was known for centuries, but Lebesgue proved it for bounded Lebesgue measurable functions, then Fubini proved it for Lebesgue integrable functions, then Tonelli fixed a flaw in Fubini's proof and proved it in a bit more generality.
The results of Lebesgue, Fubini, and Tonelli all pertain to Lebesgue measure. Yet today we commonly see in textbooks a Fubini-Tonelli theorem for product measures on products of abstract measure spaces. My question is, who is the first person who proved this result for abstract measure spaces? And what technique(a) did they use to prove it?