Def Submodule.linearProjOfClosedCompl

Modification history