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

Proof P3065 on R3595: Probabilistic Tonelli's theorem

P3065

This result is a particular case of R1232: Tonelli's theorem for sums and integrals. $\square$