Satz 9.7 Kurs:Lineare Algebra (Osnabrück 2024-2025)/Teil I/Vorlesung 9
Untervektorraum/Summe und Durchschnitt/Dimensionsvergleich/Fakt
