Theorem Submodule.starProjection_orthogonal_val

Modification history