combination): basic lemmas about affine combinations, center of mass, centroid (#9103)

Commit

4 years ago

feat(linear_algebra/affine_space/combination, analysis/convex/combination): basic lemmas about affine combinations, center of mass, centroid (#9103) Co-authored-by: YaelDillies <yael.dillies@gmail.com>

Author

ocfnash

Parents

9e91b706

mathlib 9535c087 - feat(linear_algebra/affine_space/combination, analysis/convex/combination): basic lemmas about affine combinations, center of mass, centroid (#9103)

mathlib
9535c087 - feat(linear_algebra/affine_space/combination, analysis/convex/combination): basic lemmas about affine combinations, center of mass, centroid (#9103)