Kurs:Lineare Algebra/Untervektorraum/Durchschnitt/Dimensionsabschätzung/Fakt/Faktreferenznummer

Korollar 9.8 (Lineare Algebra (Osnabrück 2024-2025))