Start=flach (Modul)

MDLUL/flach (Modul)

Ziel=Kommutative Algebra/Flacher Modul/Definition