MDLUL/Differenzengruppe
Start=Differenzengruppe
MDLUL/Differenzengruppe |
---|
Ziel=Kommutative_Monoidtheorie/Differenzengruppe_zu_Monoid/Definition
Start=Differenzengruppe
MDLUL/Differenzengruppe |
---|
Ziel=Kommutative_Monoidtheorie/Differenzengruppe_zu_Monoid/Definition