Start=äußere Produkt

MDLUL/äußere Produkt

Ziel=Vektorraum/Dachprodukt/Definition