MDLUL/lexikographische Ordnung

Start=lexikographische Ordnung

MDLUL/lexikographische Ordnung

Ziel=Polynomring/Lexikographische Ordnung/Definition