Theorem Finset.centerMass_mem_convexHull_of_nonpos

Modification history

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