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

Proof P3018 on R1818: Isotonicity of real expectation

P3018

This result is a particular case of R1514: Isotonicity of signed basic integral. $\square$