Theorem Finset.centerMass_neg_left

Modification history

2023-09-14 21:19
Mathlib/Analysis/Convex/Combination.lean
feat(Analysis/Convex): Radon's convexity theorem (#6598) …
Added Finset.centerMass_neg_leftView on Github →