Start=Flach (Modul)

MDLUL/Flach (Modul)

Ziel=Kommutative Algebra/Flacher Modul/Definition