003X Proposition 6.8. ([19, Thm. B]) Let (X,ω)(X,\omega) be a projective manifold with a Kähler form representing an integral class, and YY be a smooth subvariety of XX. Then any ϕ∈PSH(Y,ω|Y)\phi\in PSH(Y,\omega|_{Y}) extends to ϕ∈PSH(X,ω)\phi\in PSH(X,\omega).