Lemma 7.12
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 7 SLnC/Endliche Untergruppe/Konjugiert zu SUnC/Fakt