mathlib3

14e84382 - feat(analysis/convex): add lemma for composition of convex functions (#15111)

feat(analysis/convex): add lemma for composition of convex functions (#15111) Add lemma for when the composition of two convex functions is convex. Closes #14902 Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>