Commit 2020-07-28 17:02 f6f6f8aa
View on Github →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.