MDLUL/positiv-graduiert (Ring)

Start=positiv-graduiert (Ring)

MDLUL/positiv-graduiert (Ring)

Ziel=Kommutativer Ring/Graduierung/Positiv/Definition