Start=Graduierung

MDLUL/Graduierung

Ziel=Graduierte_Algebra/Ring/Gruppe_beliebig/Definition