The Stacks project

Fix proof added in a9dc5b4

Just an idiotic error: using ampleness when this is what we are trying
to prove! Also, now it states the principle that makes the thing true as
a separate lemma which is always desirable.

Upgrade to results from lemmas to propositions

Namely, Grothendieck's result on vanishing of cohomology on Noetherian
topological space and Grothendieck's result on proper pushforward of
coherent sheaves

pell check: words starting with n, o, p, q, r, N, O, P, Q, or R

LaTeX: \Spec

	Introduced the macro

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

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

Added new tags to stacks project

	modified:   tags/tags

Vanishing of cohomology above the dimension of a Noetherian topological
space, and the application to vanishing of higher direct images for
proper morphisms above the fibre dimensions.

	modified:   coherent.tex
	modified:   cohomology.tex
	modified:   homology.tex
	modified:   modules.tex