Theorem Submodule.starProjection_isSymmetric

Modification history