The Stacks project

Strengthen a lemma

Thanks to Rankeya
https://stacks.math.columbia.edu/tag/00MC#comment-8360

Completion with respect to I

Thanks to Kestutis Cesnavicius
https://stacks.math.columbia.edu/tag/00MA#comment-2979

LaTeX: \Spec

	Introduced the macro

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

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

More stuff in algebra.tex:

	Integral closure is transitive
	Surjectivity of completion of surjective maps?
	Definition of I-adically complete modules
	Criterion as to when completion is complete
	Completion complete in Noetherian case
	Finiteness criterion (still not done)
	Residue field extension of map dvrs bounded
	Complete local ring with finitely generated maximal ideal is
		Noetherian
	Lemmas on Japanese property
	Starting to prove Tate's theorem on Japaneseness of complete
		rings

	modified:   algebra.tex

Started tags infrastructure

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

	modified:   algebra.tex
	modified:   topology.tex

	modified:   algebra.tex
	modified:   topology.tex

	modified:   algebra.tex