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