Linear algebra (Osnabrück 2024-2025)/Linear subspace/Sum and intersection/Dimension/Fact/Factreferencenumber

Theorem 9.7