Theorem 22.1.112CB40FF867A00

Theorem 22.1.112.CB40FF867A00 Under the bijection theorem 22.1.111, the operations on the space $\mathrm{PSH}^{\mathrm{NA}}(X,\theta )$ defined in subsection 22.1.20 all correspond to the corresponding operations on $\mathrm{PSH}(L^{\mathrm{An}})$ in Boucksom–Jonsson's theory.