MDLUL/positiv-graduierter Ring

Start=positiv-graduierter Ring

MDLUL/positiv-graduierter Ring

Ziel=Kommutativer Ring/Graduierung/Positiv/Definition