Kurs:Diskrete Mathematik (Osnabrück 2020)/Untervektorraum/Summe und Durchschnitt/Dimensionsvergleich/Fakt/Faktreferenznummer

Satz 9.7 (Lineare Algebra (Osnabrück 2024-2025))