MDLUL/äußere Produkt der linearen Abbildungen

Start=äußere Produkt der linearen Abbildungen

MDLUL/äußere Produkt der linearen Abbildungen

Ziel=Dachprodukt/Kanonische Abbildung zu linearer Abbildung/Existenz/Fakt