Def Submodule.linearProjOfIsCompl

Modification history