ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4373 on D2706: Product measure space
Subresult of R3992: Fubini's theorem for two euclidean real lebesgue measure spaces

Fubini's theorem for a basic real lebesgue measure space

Subresults

▶	R4374: Integral factorisation on a binary product of basic real lebesgue measure spaces