Theorem ConvexOn.isMinOn_of_leftDeriv_nonpos_of_rightDeriv_nonneg

Modification history

2025-02-14 10:09
Mathlib/Analysis/Convex/Deriv.lean
feat: left and right derivatives of a convex function (#21063) …
Added ConvexOn.isMinOn_of_leftDeriv_nonpos_of_rightDeriv_nonnegView on Github →