Theorem Submodule.starProjection_orthogonal

Modification history