Theorem isLocalMin_of_anti_mono

Modification history

2024-10-23 23:43
Mathlib/Topology/Order/OrderClosedExtr.lean
feat: add First Derivative Test from calculus (#16802) …
Added isLocalMin_of_anti_monoView on Github →