Noun

(*uncountable*)

- (calculus) a statement that claims that given an arc of a differentiable curve, there is at least one point on that arc at which the derivative of the curve is equal to the average derivative of the arc.