Satz 81.3
Kurs:Mathematik (Osnabrück 2009-2011)/Teil III/Vorlesung 81
Dachprodukt/Endlichdimensional/Basis/Fakt