MDLUL/Bewertung (Zahlkörper)

Start=Bewertung (Zahlkörper)

MDLUL/Bewertung (Zahlkörper)

Ziel=Diskreter Bewertungsring/Ordnung/Definition