Theorem Submodule.linearProjOfIsCompl_add_linearProjOfIsCompl_eq_self

Modification history