Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 05HR

Go back to the tag's page.

type time link
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 2011-08-13 a2054b4
LaTeX: get rid of useless brackets
assigned tag 05HR 2010-12-07 68b68f1
Tags: Added new tags
changed the proof 2010-11-22 5a43bf2
End of the proof

	Phew,
created statement with label proposition-existence-complete-at-x in flat.tex 2010-11-22 4e170a3
Halway through the proof

	of the existence of complete devissages.