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