Theorem Submodule.isSymmetricProjection_starProjection

Modification history