Satz 25.12
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 25 Lokaler Ring/Regulär/Faktoriell/Fakt