Definition .
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung Vektorraum/Dachprodukt/Definition