Theorem 3.2.8 . [04VJ]
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 3.2.8.
Assume that is semi-ample over . If is a good minimal -model of and is any -model of , then is contained in . Moreover, can be obtained from (as a topological subspace of with piecewise affine structure) by a finite number of elementary collapses.