MDLUL/Dualbasis (Modul)

Start=Dualbasis (Modul)

MDLUL/Dualbasis (Modul)

Ziel=Endlicher freier Modul/Dualbasis/Definition