Fubini's theorem

Etymology
Introduced by in 1907.

Proper noun

 * 1)  A result stating that, if a function is integrable on a rectangle, then one can evaluate the double integral as an iterated integral.