Kurs:Lineare Algebra/Vektorraum/Basisaustauschsatz/Fakt/Faktreferenznummer

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