Theorem 22.1.720DAB63894803

Theorem 22.1.72 ([Theorem 4.22, BJ22]).0DAB63894803 Let $\phi \in \mathrm{PSH}(L^{\mathrm{An}})$ and $\psi :X^{\mathrm{An}}\rightarrow [-\infty ,\infty )$ be an usc function. Assume that $\phi \leq \psi $ on $X^{\operatorname{div}}$. Then the same holds on $X^{\mathrm{An}}$.