Theorem Submodule.sub_orthogonalProjection_mem_orthogonal

Modification history