Lemma 22.14 Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil I/Vorlesung 22
Lineare Algebra/Variablenmenge/Lineares Gleichungssystem/Lösungsraum ist Vektorraum/Fakt