Theorem 1.3 . [03AK]
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 1.3.
Let us assume that is discretely valued. Let be a proper scheme over with a line bundle . We assume that the model metric on is a pointwise limit of semipositive model metrics on . Then is a semipositive model metric.