Theorem isLocalMax_of_deriv'

Modification history

2024-10-23 23:43
Mathlib/Analysis/Calculus/FirstDerivativeTest.lean
feat: add First Derivative Test from calculus (#16802) …
Added isLocalMax_of_deriv'View on Github →