Kurs:Lineare Algebra/Vektorraum/Dimension n und n Vektoren/Begriffsgleichheit/Fakt/Faktreferenznummer

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