independent): spans of two affine combinations (#17861)

Commit

3 years ago

feat(linear_algebra/affine_space/independent): spans of two affine combinations (#17861) Add some lemmas about spans of two points expressed as affine combinations.

Author

jsm28

Parents

bd59f822

mathlib3 ee00ca5e - feat(linear_algebra/affine_space/independent): spans of two affine combinations (#17861)

mathlib3
ee00ca5e - feat(linear_algebra/affine_space/independent): spans of two affine combinations (#17861)