Theorem Submodule.starProjection_orthogonal'

Modification history