Satz 7.13
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 7 SU2C und SO3R/Gruppenbeziehung/Fakt