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