Theorem 9 [03XQ]
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 9
(Weak factorization) Assume that . Then for any two snc models there exists a finite alternating sequence of simple blow-ups