Theorem Submodule.orthogonalProjection_add_orthogonalProjection_orthogonal

Modification history