Lebesgue's density theorem (source code)

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

= Lebesgue density theorem
{c}
{synonym}

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.