Theorem Submodule.orthogonalProjection_orthogonal_val

Modification history