Commit 2025-07-16 22:52 38053427
View on Github →feat(LinearAlgebra/AffineSpace/Independent): interior lies in affine span (#26823)
Add lemmas that the interior of a simplex lies in the closedInterior, which lies in the affine span of its vertices.