Commit 2025-10-28 05:30 715cc30a
View on Github →feat(Geometry/Euclidean/Projection): projection onto sup (#30703) Add a lemma that, if the orthogonal projections of a point onto two subspaces are equal, so is the projection onto their supremum.
feat(Geometry/Euclidean/Projection): projection onto sup (#30703) Add a lemma that, if the orthogonal projections of a point onto two subspaces are equal, so is the projection onto their supremum.