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






leanprover-community/mathlib,leanprover-community/mathlib