Theorem LinearMap.linearProjOfIsCompl_of_proj

Modification history