MDLUL/graduierter Ring (N)

Start=graduierter Ring (N)

MDLUL/graduierter Ring (N)

Ziel=Kommutativer Ring/Graduierung/Positiv/Definition