Lemma 67.37.10. Let $X$ and $Y$ be locally Noetherian algebraic spaces over a scheme $S$, and let $f : X \to Y$ be a smooth morphism. For every point $x \in |X|$ with image $y \in |Y|$,
where $\dim _ x(X_ y)$ is the relative dimension of $f$ at $x$ as in Definition 67.33.1.
Comments (0)
There are also: