114.16 Obsolete lemmas on algebraic spaces

Lemmas that seem superfluous or are no longer used in the text.

Lemma 114.16.1. In Cohomology of Spaces, Situation 68.16.1 the morphism $p : X \to \mathop{\mathrm{Spec}}(A)$ is surjective.

Proof. This lemma was originally used in the proof of Cohomology of Spaces, Proposition 68.16.7 but now is a consequence of it. $\square$

Lemma 114.16.2. In Cohomology of Spaces, Situation 68.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 68.16.7 but now is a consequence of it. $\square$

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).