Theorem Submodule.orthogonalProjection_isSymmetric

Modification history