MDLUL/induzierte Gruppenstruktur (Hopf, L)

Start=induzierte Gruppenstruktur (Hopf, L)

MDLUL/induzierte Gruppenstruktur (Hopf, L)

Ziel=Kommutative Hopf-Algebra/L-Punkte/Ist Gruppe/Fakt