Lemma 75.31.2. Let $S$ be a scheme. Let $f : X \to Y$ be a finite type morphism of algebraic spaces over $S$. Let

$n_{X/Y} : |Y| \to \{ -\infty , 0, 1, 2, 3, \ldots \}$

be the function which associates to $y \in |Y|$ the integer discussed in Lemma 75.31.1. If $g : Y' \to Y$ is a morphism then

$n_{X'/Y'} = n_{X/Y} \circ |g|$

where $X' \to Y'$ is the base change of $f$.

Proof. This follows immediately from Lemma 75.31.1. $\square$

Comment #8141 by Laurent Moret-Bailly on

I think $\infty$ should be $-\infty$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).