Start=endlich (ganz)

MDLUL/endlich (ganz)

Ziel=Kommutative Algebra/Algebra/Endlicher Modul/Definition