Beispiel 7.9
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 7 Binäre Oktaedergruppe/Realisierung in SL2C/Beispiel