MDLUL/direkte Summenzerlegung

Start=direkte Summenzerlegung

MDLUL/direkte Summenzerlegung

Ziel=Vektorraum/Untervektorräume/Endlich/Direkte Summe/Definition