Commit 2025-07-27 14:59 8ac39d01

View on Github →

chore(Analysis/InnerProductAlgebra/Projection): adding norm and other results for Submodule.starProjection (#27317) Analogue results for Submodule.starProjection.

Estimated changes