Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 09BZ

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
assigned tag 09BZ 2013-06-27 fc2dc18
Tags: Added new tags
changed the proof 2013-06-27 e01125c
Small changes
created statement with label lemma-derived-complete-limit in proetale.tex 2013-06-26 bf5028e
Local structure constructible complexes

This is fun!