Commit 2023-11-24 19:52 54f7158d

feat: Multiplication of convex function (#7650) We prove that the product of nonnegative monovarying convex functions is convex. We take the opportunity to golf the various proofs of the convexity of x ↦ x ^ n.