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