Theorem isMaxOn_Ico_of_mono_anti

Modification history

2026-04-03 21:39
Mathlib/Order/Filter/Extr.lean
feat: add more APIs for the first derivative test (#34717) …
Added isMaxOn_Ico_of_mono_antiView on Github →