Definition 5.16.11E9EA7799080C

Definition 5.16.11.E9EA7799080C Let $\varphi \in \mathrm{PSH}(X)$. Let $E$ be a prime divisor over $X$ (see definition 9.10.2). Take a proper bimeromorphic morphism $\pi \colon Y\rightarrow X$ from a complex manifold $Y$ such that $E$ is a prime divisor on $Y$, then we define the generic Lelong number of $\varphi $ along $E$ as