MDLUL/symmetrische Potenz

Start=symmetrische Potenz

MDLUL/symmetrische Potenz

Ziel=Modul/Symmetrische Potenz/Über Tensorprodukt/Definition