The Stacks project

f -> \varphi

Thanks to Klaus Mattis
https://stacks.math.columbia.edu/tag/04JU#comment-5098

LaTeX: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

	and changed all the occurences of \text{Spec} into \Spec.

Fixes in spaces-properties.tex

	We tried to find arguments for some of the previous results in
	the quasi-separated case which are easier than the original more
	general ones. We only partially succeeded. But on the other
	hand, we can in the future keep simplifying this chapter and add
	the more involved arguments to the chapter on decent spaces.

Decent Algebraic Spaces

	Created a new chapter "Decent Algebraic Spaces" and moved most
	of the material on local conditions of algebraic spaces in
	there. In the next few commits we will fix the breakage that this
	causes.

	The reason for the move is that this material is difficult to
	understand for the beginner and that most of the other material
	in Properties of Spaces and Morphisms of Spaces is easier and
	more analogous to what happens for schemes.

	An added advantage is that we can use results on morphisms of
	algebraic spaces in the new chapter, hence it becomes easier to
	develop the theory of decent spaces.

Tags: Added new tags

Flatness modules on algebraic spaces

	Also: Clarifying some of the earlier lemmas on points, stalks,
	etc for sheaves on algebraic spaces.