mathlib

9e91b706 - feat(analysis/convex/function): define strictly convex/concave functions (#9439)