Kurs:Diskrete Mathematik (Osnabrück 2020)/Vektorraum/Charakterisierungen von Basis/Maximal/Minimal/Fakt/Faktreferenznummer

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