Start=Koeinheit

MDLUL/Koeinheit

Ziel=Kommutativer Ring/Hopf-Algebra/Definition