∫ Утверждение Mathlib
centroid_eq_centerMass
Mathlib.Analysis.Convex.Combination
URI: https://scilib.ai/kg/mathlib#Finset.centroid_eq_centerMass
∫ Утверждение Mathlib
Mathlib.Analysis.Convex.Combination
URI: https://scilib.ai/kg/mathlib#Finset.centroid_eq_centerMass