ScalingStacks

Lemma 2.4. (Comparison principle)[30, Thm. 2.1] If $u$ and $v$ are $\omega$-psh on $Y$, then on $\Omega=\{u<v\}$, we have

$$\int_{\Omega}\omega_{u}^{n}\geq\int_{\Omega}\omega_{v}^{n}.$$