Mathlib v3 is deprecated. Go to Mathlib v4

Def finset.center_mass

Modification history

2021-09-22 12:11
src/analysis/convex/combination.lean
chore(analysis/convex): trivial generalizations of ℝ (#9298)
Added finset.center_massView on Github →