Theorem Submodule.linearProjOfIsCompl_apply_right

Modification history