Theorem isLocalMin_of_deriv_Ioo

Modification history

2026-04-03 21:39
Mathlib/Analysis/Calculus/DerivativeTest.lean
feat: add more APIs for the first derivative test (#34717) …
Modified isLocalMin_of_deriv_IooView on Github →
2024-10-23 23:43
Mathlib/Analysis/Calculus/FirstDerivativeTest.lean
feat: add First Derivative Test from calculus (#16802) …
Added isLocalMin_of_deriv_IooView on Github →