The Stacks project

Update coherent.tex

Thanks to Yijin Wang. 
Moreover, in the same line $c = \max(d_i, d'_j)$ shall be $c = \max(d'_i, d'_j)$ 

https://stacks.math.columbia.edu/tag/02OA#comment-7348

Cleanup + additions to section on theorem formal functions

LaTeX: \Spec

	Introduced the macro

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

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

Latex: get rid of some overfull boxes

	modified:   algebraic.tex
	modified:   chow.tex
	modified:   coherent.tex
	modified:   cohomology.tex
	modified:   constructions.tex
	modified:   descent.tex
	modified:   desirables.tex
	modified:   divisors.tex
	modified:   etale.tex
	modified:   examples-stacks.tex
	modified:   examples.tex
	modified:   exercises.tex
	modified:   fdl.tex
	modified:   homology.tex
	modified:   hypercovering.tex
	modified:   modules.tex
	modified:   morphisms.tex
	modified:   properties.tex
	modified:   schemes.tex
	modified:   simplicial.tex
	modified:   sites.tex
	modified:   spaces.tex
	modified:   topologies.tex
	modified:   varieties.tex

New tags added to the project

	modified:   tags/tags

Theorem on formal functions

	modified:   categories.tex
	modified:   coherent.tex
	modified:   homology.tex
	modified:   more-morphisms.tex
	modified:   morphisms.tex
	modified:   my.bib