mathlib3

419c83f6 - feat(linear_algebra/affine_space/finite_dimensional): more `collinear` lemmas (#16806)

feat(linear_algebra/affine_space/finite_dimensional): more `collinear` lemmas (#16806) Add a further batch of lemmas about collinear sets of points, in particular relating collinearity to any pair of distinct points in the set.