MDLUL/Verzweigungsort (Kähler)

Start=Verzweigungsort (Kähler)

MDLUL/Verzweigungsort (Kähler)

Ziel=Dedekindbereich/Endliche Erweiterung/Separabel/Kähler-Modul/Eigenschaften/Fakt