The Stacks project

History of tag 07L4

Go back to the tag's page.

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
changed the proof 2013-06-04 f495997
\text{Mor} ---> \Mor
changed the proof 2013-06-04 80afd57
\text{Hom} ---> \Hom
assigned tag 07L4 2012-03-21 4e265af
Tags: Added new tags
changed the statement 2012-02-22 118f702
Some results from paper Bhatt-de Jong
created statement with label lemma-property-Dn in crystalline.tex 2012-02-21 a0282f0
Completion of divided power algebras

	This is completely trivial, but it is confusing and hence
	important to get right.