Theorem Submodule.orthogonalProjection_norm_le

Modification history