Mathlib v3 is deprecated. Go to Mathlib v4

Theorem collinear_insert_of_mem_affine_span_pair

Modification history

2022-12-06 20:53
src/linear_algebra/affine_space/finite_dimensional.lean
feat(linear_algebra/affine_space/finite_dimensional): collinearity and spans of two points (#17635) …
Added collinear_insert_of_mem_affine_span_pairView on Github →