Theorem sub_orthogonalProjection_mem_orthogonal

Modification history