From 8f6becafdca218b5142b8faaa4a1ea8bf2f1031e Mon Sep 17 00:00:00 2001 From: Aise Johan de Jong Date: Thu, 8 Oct 2015 10:07:09 -0400 Subject: [PATCH] future reference is now Thanks to Pieter Belmams http://stacks.math.columbia.edu/tag/06E9#comment-1656 --- examples.tex | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/examples.tex b/examples.tex index 930b983ae..1703bf408 100644 --- a/examples.tex +++ b/examples.tex @@ -2882,8 +2882,9 @@ \section{A non-separated group algebraic space over a field} More on Groupoids in Spaces, Lemma \ref{spaces-more-groupoids-lemma-group-scheme-over-field-separated}. Moreover, a finite type, separated group algebraic space over a -field is in fact a scheme (insert future reference here). The idea -of the proof is that the schematic locus is open dense, see +field is in fact a scheme by More on Groupoids in Spaces, Lemma +\ref{spaces-more-groupoids-lemma-group-space-scheme-locally-finite-type-over-k}. +The idea of the proof is that the schematic locus is open dense, see Properties of Spaces, Proposition \ref{spaces-properties-proposition-locally-quasi-separated-open-dense-scheme} or