Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-06 15:05 2f028a88

View on Github →

feat(analysis/convex/specific_functions): convexity of rpow (#2965) The function x -> x^p is convex on [0, +\infty) when p \ge 1.

Estimated changes