ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2308 on D2706: Product measure space
Area interpretation of unsigned basic integral