Theorem Submodule.IsCompl.projection_isSymmetricProjection_iff

Modification history