Mathlib v3 is deprecated. Go to Mathlib v4

Theorem affine_space.weighted_vsub_sub

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.weighted_vsub_subView 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.weighted_vsub_subView on Github →