Commit 2025-07-05 16:24 412d97e1
View on Github →feat(Geometry/Euclidean/Projection): projection onto a 0-simplex (#26529)
Add lemmas about orthogonalProjectionSpan onto a 0-simplex,
specified either directly or as faceOpposite in a 1-simplex.
feat(Geometry/Euclidean/Projection): projection onto a 0-simplex (#26529)
Add lemmas about orthogonalProjectionSpan onto a 0-simplex,
specified either directly or as faceOpposite in a 1-simplex.