Lebesgue theorem on differentiability of monotone functions (source code)

= Lebesgue theorem on differentiability of monotone functions
{c}

Every real-valued <monotone function> on a <real interval> is <differentiable function>[differentiable] with a finite <derivative> at <almost everywhere>[almost every] point.

This strengthens the regularity known for a <monotonic function> beyond the restriction on its jump discontinuities.