MDLUL/Ordnung (Dedekindbereich Primideal)

Start=Ordnung (Dedekindbereich Primideal)

MDLUL/Ordnung (Dedekindbereich Primideal)

Ziel=Dedekindbereich/Primideal/Ordnung/Definition