Kurs:Zahlentheorie (Osnabrück 2016-2017)/Determinante/Null, Linear abhängig und Rangeigenschaft/Fakt/Faktreferenznummer

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