Lemma 115.17.1. In Cohomology of Spaces, Situation 69.16.1 the morphism p : X \to \mathop{\mathrm{Spec}}(A) is surjective.
115.17 Obsolete lemmas on algebraic spaces
Lemmas that seem superfluous or are no longer used in the text.
Proof. This lemma was originally used in the proof of Cohomology of Spaces, Proposition 69.16.7 but now is a consequence of it. \square
Lemma 115.17.2. In Cohomology of Spaces, Situation 69.16.1 the morphism p : X \to \mathop{\mathrm{Spec}}(A) is universally closed.
Proof. This lemma was originally used in the proof of Cohomology of Spaces, Proposition 69.16.7 but now is a consequence of it. \square
Remark 115.17.3. This tag used to refer to an equation in the proof of Formal Spaces, Lemma 87.20.4.
Remark 115.17.4. This tag used to refer to an equation in the proof of Formal Spaces, Lemma 87.20.4.
Comments (0)