Commit 2026-06-07 10:24 555f9798

chore(Analysis/InnerProductSpace/Projection): rename orthogonalProjection to orthogonalProjectionOnto (#38970) The (continuous) linear projection onto a submodule S of a (topological) vector space E are currently named: Submodule.projectionOnto and Submodule.projectionOntoL for the continuous version. To match this naming, we rename Submodule.orthogonalProjection to Submodule.orthogonalProjectionOnto since it is a special version of Submodule.projectionOntoL. The idempotent versions are called Submodule.projection and Submodule.projectionL for the continuous version. So, in a later PR, we will rename Submodule.starProjection to Submodule.orthogonalProjection. This will sort out all the names of the (continuous) (orthogonal) linear projections.