History for tag 08US—The Stacks project

History of tag 08US

type	time	link
changed the proof	2013-12-22	e179438
LaTeX Introduced a macro \def\Ker{\text{Ker}} and replace all occurrences of \text{Ker} with \Ker
assigned tag 08US	2013-04-02	75a4d1e
Tags: Added new tags
created statement with label lemma-compare-cotangent-complex-with-naive in cotangent.tex	2013-03-29	c245446
A bit more on cotangent complexes