Theorem Submodule.sub_starProjection_mem_orthogonal

Modification history