mathlib

4d5491dc - feat(linear_algebra/affine_space/finite_dimensional): `coplanar` (#16910)

feat(linear_algebra/affine_space/finite_dimensional): `coplanar` (#16910) Add a definition of coplanar sets of points, and some basic API similar to parts of that for `collinear`.