The Stacks project

Clear modifications

I have fixed typos of mathematical symbols, incorrect reference number, a/an-errors, and missing hyphens.

Shorten a proof

Thanks to B. Shih
https://stacks.math.columbia.edu/tag/01BU#comment-4738

Fix proof properties coherent modules

Thanks to Katharina and Dongryul Kim
https://stacks.math.columbia.edu/tag/01BY#comment-2366
https://stacks.math.columbia.edu/tag/01BY#comment-3045

Fix proof coherent modules form abelian cat

Thanks to JuanPablo
http://stacks.math.columbia.edu/tag/01BY#comment-977

LaTeX

Introduced a new macro

\def\Coker{\text{Coker}}

and replaced all occurrences of \text{Coker} by \Coker

LaTeX

Added a new macro

\def\Im{\text{Im}}

and replaced all occurrences of \text{Im} by \Im

LaTeX

Introduced a macro

\def\Ker{\text{Ker}}

and replace all occurrences of \text{Ker} with \Ker

Started tags infrastructure

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

Multiple changes as follows:
	Trivial change to algebra.tex introducing acc condition
	More local results on coherent sheaves
	More global results on coherent sheaves
	Devissage of coherent sheaves
	Small additions on sheaves of modules regarding behaviour map at
	stalks
	Finite type reflected by pushforward closed immersion
	Fix error in properties.tex on sheaf annihilated by an ideal
	shreaf and added cklarifications to lemma on sections over
	quasi-compact open of an affine

	modified:   algebra.tex
	modified:   coherent.tex
	modified:   modules.tex
	modified:   properties.tex

Added exterior and symmetric algebra

	modified:   algebra.tex
	modified:   modules.tex

Added lemma on coherent modules

	modified:   modules.tex
	modified:   my.bib