Revision #859 → #1401 · back to history
addedMean value theorem (informal statement)c058c1d5034f
addedMean value theorem2cf30cd129cd
addedMean value theorem (generalized setting)a6e9407afe72
addedZero derivative implies constant4a1703fe8a59
addedEqual derivatives differ by constant1ae231a283ce
addedGeneral antiderivativedf2c76486324
addedCauchy's mean value theorem64ba8c033bf6
addedMean value theorem in several variables815a520ec42a
addedLipschitz continuity on convex domain with bounded partials1285b180181b
addedVanishing partial derivatives on connected open set imply constantbc36cf21759b
addedMean value theorem for vector-valued functionse27b74dd575a
addedMean value inequality7d4f7d1d06d7
addedCounterexample: non-differentiable functiond620ddc16e1b
addedCounterexample: discontinuous function48fe06efb4f4
addedCounterexample: complex-valued function24095677038a
addedFirst mean value theorem for definite integralsef1feebc7ecb
addedFirst mean value theorem (weighted form)ab890c932193
addedSecond mean value theorem for definite integrals0cd04c9d311b
addedSecond mean value theorem (monotonic variant)02046675500b
addedCounterexample: vector-valued integral MVT failsfc9785a451c3
addedLinear algebra generalization of mean value theorem8767513c8069
addedProbabilistic mean value theorem685c19e705b5
addedMean value theorem for holomorphic functions816dfda6fe5d