The Stacks project

Cleanup + additions to section on theorem formal functions

LaTeX

Added a new macro

\def\Im{\text{Im}}

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

Cohomology and base change, III

	For schemes the thing about perfect total direct image for a
	flat sheaf under a proper morphism towards a Noetherian affine
	scheme.

Whitespace changes

LaTeX: \Spec

	Introduced the macro

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

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

First macro of the project

	This gets rid of all the \nolimits commands following \lim by
	defining

	\def\lim{\mathop{\rm lim}\nolimits}

	in the file preamble.tex. As far as I can tell this is
	equivalent to \lim\nolimits where \lim is the internal command
	of TeX. The dvi files produced before and after this commit are
	identical.

LaTeX: fix lim

	Replaced all the occurences of \text{lim} by \lim or
	\lim\nolimits depending on whether the invocation occured in
	display math or not.

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