MDLUL/Kürzungsregel (Monoid)
Start=Kürzungsregel (Monoid)
MDLUL/Kürzungsregel (Monoid) |
---|
Ziel=Kommutative Monoidtheorie/Monoid mit Kürzungsregel/Definition
Start=Kürzungsregel (Monoid)
MDLUL/Kürzungsregel (Monoid) |
---|
Ziel=Kommutative Monoidtheorie/Monoid mit Kürzungsregel/Definition