Theorem isMinOn_Ici_of_anti_mono

Modification history

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