Theorem Submodule.linearProjOfIsCompl_ker

Modification history