Theorem Submodule.starProjection_add_starProjection_orthogonal

Modification history