Theorem ConvexOn.right_deriv_le_slope

Modification history

2024-04-08 14:57

Mathlib/Analysis/Convex/Deriv.lean

feat(Analysis/Convex/Deriv): convex implies monotone deriv (#11602) …

Added ConvexOn.right_deriv_le_slope View on Github →