MDLUL/Dachprodukt (linear)

Start=Dachprodukt (linear)

MDLUL/Dachprodukt (linear)

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