Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-09-29 13:14
9e91b706
View on Github →
feat(analysis/convex/function): define strictly convex/concave functions (
#9439
)
Estimated changes
Modified
src/analysis/convex/function.lean
modified
def
concave_on
modified
def
convex_on
added
def
strict_concave_on
added
def
strict_convex_on