Theorem Submodule.linearProjOfIsCompl_apply_right'

Modification history