The Stacks project

Fix the same proof for the nth time

Thanks to nkym
https://stacks.math.columbia.edu/tag/00UJ#comment-7188

Switch order of factors

Thanks to Yicheng
https://stacks.math.columbia.edu/tag/00UJ#comment-5836

Fix mistake in proof 00UJ

Thanks to awllower
https://stacks.math.columbia.edu/tag/00UJ#comment-4955

Fix typo in 00UJ

Thanks to Eric Ahlqvist
http://stacks.math.columbia.edu/tag/00UJ#comment-2353

Spell checking algebra.tex

Spell check: words starting with d, e, f, g, D, E, F, or G

Fix typo

	Missing primes.

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.

Begin translating etale to \'etale or \acute{e}tale (in Math mode).

Algebra: Myriad variants of Hensel's lemma

	Can you actually write this all up in a systematic way? I think
	it is probably very difficult if at all possible.

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

Finally done with etale-makes-quasi-finite-finite but it is pretty
horrible

	modified:   algebra.tex