Lebesgue's lemma (source code)

= Lebesgue's lemma
{wiki=Lebesgue's_lemma}

Lebesgue's lemma is a result in measure theory related to the behavior of measurable functions and their integrals.