function): API for strict convex functions (#9437)

Commit

4 years ago

feat(analysis/convex/function): API for strict convex functions (#9437) This provides all the basic API for `strict_convex_on` and `strict_concave_on`.

Author

YaelDillies

Parents

a0504eb3

mathlib 1390b447 - feat(analysis/convex/function): API for strict convex functions (#9437)

mathlib
1390b447 - feat(analysis/convex/function): API for strict convex functions (#9437)