MDLUL/Tensorprodukt (Ringwechsel)

Start=Tensorprodukt (Ringwechsel)

MDLUL/Tensorprodukt (Ringwechsel)

Ziel=Tensorprodukt/Moduln/Definition