center_mass and affine_combination

Stream: general

[Yaël Dillies]

finset.center_mass looks to me like a less general version of finset.affine_combination. Am I right?

[Yaël Dillies]

I am stuck proving that affine independence implies convex independence because all the affine stuff is written using finset.affine_combination while all the convex stuff is written using finset.center_mass.