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

Proof P1678 on R2090: Isotonicity of probability measure

P1678

This result is a particular case of R975: Isotonicity of unsigned basic measure. $\square$