Commit 2025-05-31 23:10 dd008192
View on Github →feat(Analysis/InnerProductSpace/Projection): add Submodule.re_inner_orthogonalProjection_nonneg
(#24659)
feat(Analysis/InnerProductSpace/Projection): add Submodule.re_inner_orthogonalProjection_nonneg
(#24659)