Def Subspace.linearProjOfClosedCompl

Modification history