Mathlib v3 is deprecated. Go to Mathlib v4

Def affine_space.affine_combination

Modification history

2020-06-22 11:57
src/linear_algebra/affine_space.lean
feat(linear_algebra/affine_space): affine combinations for finsets (#3122) …
Deleted affine_space.affine_combinationView on Github →
2020-06-14 19:26
src/linear_algebra/affine_space.lean
feat(linear_algebra/affine_space): affine combinations of points (#2979) …
Added affine_space.affine_combinationView on Github →