Theorem Submodule.linearProjOfIsCompl_apply_left

Modification history