Tonelli theorem (source code)

= Tonelli theorem
{c}

= Tonelli's theorem
{c}
{synonym}

Tonelli’s theorem permits interchange of integrals for a nonnegative measurable function, even before finiteness is known.