Theorem 4.5 . [04XW]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context ยท Original author HTML
Theorem 4.5.
Let be a normal separated -scheme of finite type. Let be a reduced effective divisor on such that the pair is dlt and the divisor is Cartier. Assume also that all the prime components of are -Cartier. Let be a one-dimensional stratum of . Then, on an open neighbourhood of , the scheme is regular and is a divisor with strict normal crossings.