Satz 23.15 Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil I/Vorlesung 23
Vektorraum/Endlich erzeugt/Länge von jeder Basis/Fakt