Lineare Abbildungen/Tensorprodukt/Wohldefiniertheit/Fakt/Beweis

Beweis

Die Gesamtabbildung

ist nach Aufgabe multilinear. Dies induziert nach Fakt eine lineare Abbildung