Satz 21.2
Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 21 Vektorraum/Basisaustauschsatz/Fakt