Lemma 37.75.4. Let f : X \to Y be a locally quasi-finite morphism. Let w : X \to \mathbf{Z} be a weighting of f. If X' \subset X is open, then w|_{X'} is a weighting of f|_{X'} : X' \to Y.
Proof. Immediate from the definition. \square
Lemma 37.75.4. Let f : X \to Y be a locally quasi-finite morphism. Let w : X \to \mathbf{Z} be a weighting of f. If X' \subset X is open, then w|_{X'} is a weighting of f|_{X'} : X' \to Y.
Proof. Immediate from the definition. \square
Comments (0)