Lemma 8.8
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 8 Binäre Ikosaedergruppe/Hilbert-Reihe/Grad 60/Fakt