MDLUL/Summe (Untervektorräume)

Start=Summe (Untervektorräume)

MDLUL/Summe (Untervektorräume)

Ziel=Untervektoräume/Summe/Definition