Lemma 8.7
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 8 Binäre Ikosaedergruppe/Kein Charakter/Fakt