The Stacks project

Add missing hypothesis

Thanks to Haohao Liu
https://stacks.math.columbia.edu/tag/03OL#comment-8255

Spell check: words starting with h, i, j, k, l, m, H, I, J, K, L, and M

Cosmetic change

	Given a named theorem, such as Chevalley's theorem, we now code
	this as

	\begin{theorem}[Chevalley's theorem]
	\label{theorem-chevalley}

	and not as

	\begin{theorem}
	\label{theorem-chevalley}
	(Chevalley's Theorem.)

LaTeX: Hom and SheafHom

	Introduced the macros

	\def\Hom{\mathop{\rm Hom}\nolimits}
	\def\SheafHom{\mathop{\mathcal{H}\!{\it om}}\nolimits}

	and replaced all the occurences of \text{Hom} and \textit{Hom}
	with these.

Etale Cohomology: Introducing tau-sites

	There seems to be no way around actually introducing the
	tau-sites in the chapter on etale cohomology. As a result we
	noticed something missing in the chapter on topologies, namely
	the statement that the topologies on the big (absolute)
	tau-sites are induced from the corresponding toplogies on the
	category of all schemes. We added this also.

Tags: Added new tags

	Mainly new tags for lemmas/propositions/theorems in the chapter
	on etale cohomology.

Etale Cohomology: White space changes only

Etale Cohomology: Added it to the project and more edits

	A solution to the problem mentioned in the previous commit may
	be to add parts of the Chapter as Appendices maybe in a smaller
	font. Still not sure.

Etale Cohomology: Added it to the project and more edits

	A solution to the problem mentioned in the previous commit may
	be to add parts of the Chapter as Appendices maybe in a smaller
	font. Still not sure.

Etale Cohomology: Lots of edits

	One of the problems is that the coding style is completely
	different and nonuniform. Another is that there is a lot of
	material for which it will not be possible to find proofs
	internally in the stacks project for a long time. Perhaps we
	need to introduce a way of indicating this in the document.

	A better solution is perhaps to add only those parts to the
	actual stacks book published on the web which mesh well with
	the stacks project.

CONTRIBUTORS: Added Min Lee

	See previous commit