The Stacks project

Remove 'f.f.'

Sad IMHO.

Thanks to BCnrd, Dario Weissmann, and sdf
https://stacks.math.columbia.edu/tag/02JQ#comment-2762
https://stacks.math.columbia.edu/tag/02JQ#comment-2765
https://stacks.math.columbia.edu/tag/02JQ#comment-2766
https://stacks.math.columbia.edu/tag/02JQ#comment-2767

Skeleton section on extensions of valuation rings

LaTeX: \Spec

	Introduced the macro

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

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

Fix isolated point stuff

	It turns out that I was thinking about isolated points in the
	wrong way. Apparantly an isolated point is just what I would
	have called an open point and what I thought was an isolated
	point is a closed isolated point.

	Also added: A lemma stating that a morphism is locally
	quasi-finite if and only if it is locally of finite type with
	discrete fibres.

New tags added to the project

	modified:   tags/tags

Starting to move algebraic lemmas from chow.tex into algebra.tex

	modified:   algebra.tex
	modified:   chow.tex

Starting to move algebraic lemmas from chow.tex into algebra.tex

	modified:   algebra.tex
	modified:   chow.tex

Filling in the proofs in chow.tex, continued

	modified:   chow.tex
	modified:   more-morphisms.tex
	modified:   morphisms.tex