Theorem Submodule.IsCompl.projection_isSymmetric_iff

Modification history