Lemma 76.31.5. Let S be a scheme. Let f : X \to Y be a proper, flat, finitely presented morphism of algebraic spaces over S. Let n_{X/Y} be the function on Y giving the dimension of fibres of f introduced in Lemma 76.31.2. Then n_{X/Y} is locally constant.
Comments (0)