Theorem strictConvexOn_rpow

Modification history

2024-03-25 20:19
Mathlib/Analysis/Convex/SpecificFunctions/Basic.lean
feat: Bernoulli's inequality for `0 < p < 1` (#10982) …
Modified strictConvexOn_rpowView on Github →
2023-05-25 03:53
Mathlib/Analysis/Convex/SpecificFunctions/Basic.lean
feat: port Analysis.Convex.SpecificFunctions.Basic (#4142)
Added strictConvexOn_rpowView on Github →