Start=graduiert

MDLUL/graduiert

Ziel=Graduierte_Algebra/Ring/Gruppe_beliebig/Definition