mathlib

f6f6f8aa - feat(linear_algebra/affine_space): more affine subspace lemmas (#3552)

feat(linear_algebra/affine_space): more affine subspace lemmas (#3552) Add more lemmas on affine subspaces that came up in the course of proving existence and uniqueness of the circumcenter of a simplex in a Euclidean space.