Theorem Finset.centerMass_of_sum_add_sum_eq_zero

Modification history

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