Kurs:Lineare Algebra/Vektor/Linearform/Nulltest/Fakt/Faktreferenznummer

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