Mathlib Changelog
v4
Changelog
About
Github
Theorem
convexHull_list_sum
Modification history
2023-07-16 11:34
Mathlib/Analysis/Convex/Combination.lean
chore: forward-port leanprover-community/mathlib#18943 (#5854)
Added
convexHull_list_sum
View on Github →