MDLUL/Dachprodukt (lineare Abbildung)

MDLUL/Dachprodukt (lineare Abbildung)

Start=Dachprodukt (lineare Abbildung)

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