MetMat
Comment montrer que la somme de sous-espaces vectoriels $F_1,\dots,F_k$ est directe ? | MetMat