Theorem 8.7 . [01HH]

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 8.7.

For each $\theta$ -psh function $\varphi$ , there exists a decreasing net $(\varphi_{i})_{i\in I}$ of $\theta$ -psh model functions that converges pointwise on $X$ to $\varphi$ .