feat(analysis/calculus/mean_value): Strict convexity from derivatives (#10034)
feat(analysis/calculus/mean_value): Strict convexity from derivatives (#10034)

This duplicates all the results relating convex/concave function and their derivatives to strictly convex/strictly concave functions.





leanprover-community/mathlib,leanprover-community/mathlib