Theorem Submodule.linearProjOfIsCompl_isCompl_projection

Modification history