ScalingStacks

Proof. [04MG]

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

Proof.

The divisor DD being nef is equivalent to it being globally generated, by [Mus02, Theorem 3.1]. Thus, the result follows directly from [Ful93, p. 74]. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.