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

Proof P2906 on R4277: Measure of measurable set complement

P2906

This result is a particular case of R978: Measure of set difference where $F : = X$. $\square$