Kurs:Lineare Algebra/Lineare Unabhängigkeit/Test mit Linearformen/Fakt/Faktreferenznummer

Lemma 14.8 (Lineare Algebra (Osnabrück 2024-2025))