Mathlib Changelog
v4
Changelog
About
Github
Theorem
StrictConvexOn.eq_of_le_map_sum
Modification history
2023-12-12 14:35
Mathlib/Analysis/Convex/Jensen.lean
feat: Strict Jensen inequality (#8972) …
Added
StrictConvexOn.eq_of_le_map_sum
View on Github →