The Stacks project

Try to correct a composition of morphisms

I suggest at least this correction since the line after the correction doesn't follow otherwise. Technically, some identifications have been made without comment in this proof, i.e. between the image and coimage of $f$ (because abelian) and between the kernel of $g$ and the image of $f$ (because exact). And making these identifications has meant that some of the sequences of morphisms have gotten screwed up.

LaTeX

Introduced a new macro

\def\Coim{\text{Coim}}

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

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

Tags: Added new tags

Fix some complaints of fix_titles_refs.py

snake lemma

here is homology.tex, extended by the "right" statement of the snake
lemma, with (almost) complete proof, including some more lemmas.