Lemma 5.12 . [0175]
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 5.12.
If is a stratum of corresponding to a face of , then . It follows that the -Cartier divisor
is well-defined, and we have a canonical identification as -line bundles. Further, if is a maximal face of , then the pair is subklt.