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

Proof P792 on R1064: Isotonicity of Lebesgue measure

P792

This result is a special case of R2168: Isotonicity of Lebesgue outer measure. $\square$