26A24 Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems [See also 28A15] 2645