Theorem Submodule.norm_orthogonalProjection_apply_le

Modification history