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