Aufgabe 6.5
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 6 Kommutatives Monoid/Verträgliche Äquivalenzrelation/Monoidstruktur/Aufgabe