Satz 20.12
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 20 Noetherscher lokaler Ring/Einbettungsdimension/Dimension/Fakt
