mathlib3
abe44595 - feat(analysis/convex): define concavity of functions (#3849)

Commit

5 years ago

feat(analysis/convex): define concavity of functions (#3849) Co-authored-by: Patrick Massot <patrickmassot@free.fr>

References

Author

dupuisf

Parents