Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 087X

Go back to the tag's page.

type time link
changed the proof 2013-12-22 4f904cb
LaTeX

Introduced a new macro

\def\Coim{\text{Coim}}

and replaced all occurrences of \text{Coim} by \Coim
changed the proof 2013-12-22 5b9bcfb
LaTeX

Introduced a new macro

\def\Coker{\text{Coker}}

and replaced all occurrences of \text{Coker} by \Coker
changed the proof 2013-12-22 19733a9
LaTeX

Added a new macro

\def\Im{\text{Im}}

and replaced all occurrences of \text{Im} by \Im
changed the proof 2013-12-22 e179438
LaTeX

Introduced a macro

\def\Ker{\text{Ker}}

and replace all occurrences of \text{Ker} with \Ker
changed the statement and the proof 2012-10-14 42b6523
Small changes
assigned tag 087X 2012-10-11 688e3c6
Tags: added new tags
created statement with label lemma-inverse-systems-abelian in coherent.tex 2012-10-02 daee35d
Grothendieck existence in projective case

Still a bit rough. Some of the material may have to be slightly
generalized to deal with the argument in the proper case.