MDLUL/reelle Einbettung (Zahlkörper)

Start=reelle Einbettung (Zahlkörper)

MDLUL/reelle Einbettung (Zahlkörper)

Ziel=Zahlbereich/Einbettungen/Gitterstruktur/Textabschnitt