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

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

Proof P3208 on R4689: Probabilistic Cavalieri principle

P3208

This result is a particular case of R112: Cavalieri principle. $\square$