Theorem Finset.centerMass_congr_finset

Modification history

2025-11-14 11:51
Mathlib/Analysis/Convex/Combination.lean
feat(Analysis/Convex/Combination): `centerMass_const`, `centerMass_congr` (#31451) …
Added Finset.centerMass_congr_finsetView on Github →