Lemma 4.1.6 . [04W4]
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
Lemma 4.1.6.
Let be a reduced -pair over such that is Cartier. Let be a log canonical center and let be the irreducible components of that contain . Let be the maximal open subset of where is smooth and is a divisor with strict normal crossings. If we write , then is equal to the closure of the restriction of to .