MDLUL/Ordnung (Dedekindbereich)

Start=Ordnung (Dedekindbereich)

MDLUL/Ordnung (Dedekindbereich)

Ziel=Dedekindbereich/Primideal/Ordnung/Definition