Lemma 80.6
Kurs:Mathematik (Osnabrück 2009-2011)/Teil III/Vorlesung 80
Dachprodukt/Elementare Eigenschaften/Fakt