Theorem isMaxOn_Ico_of_deriv

Modification history

2026-04-03 21:39
Mathlib/Analysis/Calculus/DerivativeTest.lean
feat: add more APIs for the first derivative test (#34717) …
Added isMaxOn_Ico_of_derivView on Github →