Start=Koinverse

MDLUL/Koinverse

Ziel=Kommutativer Ring/Hopf-Algebra/Definition