ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4373 on D2706: Product measure space
Fubini's theorem for a basic real lebesgue measure space