mathlib

0b9f6bdd - feat(linear_algebra/affine_space/finite_dimensional): coplanarity in ambient dimension 2 (#17399)

feat(linear_algebra/affine_space/finite_dimensional): coplanarity in ambient dimension 2 (#17399) Add lemmas that if the ambient space has dimension 2 (a common case in geometry), any set of points is coplanar.