Lebesgue density theorem (source code)

= Lebesgue density theorem
{c}
{wiki=Lebesgue's_density_theorem}

For every <Lebesgue measurable set> $A\subseteq\mathbb R^n$, its <measure density>[Lebesgue density] is $1$ at almost every point of $A$ and $0$ at almost every point of its complement.