Theorem Submodule.norm_orthogonalProjection_apply

Modification history