History of tag 07GS
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2017-07-22 |
68dc905 |
Typos in dpa.tex.
|
|
moved the statement to file dpa.tex
|
2013-10-08 |
154a0e6 |
New chapter on divided power algebra
Contains the rudiments of divided powers as well as the material on Tate
resolutions and its application to Avramov's theorem we just added.
|
|
changed the proof
|
2013-10-06 |
bde142e |
A few more fixes in crystalline.tex
Thanks to Matthieu ROMAGNY
|
|
changed the proof
|
2012-02-17 |
bdadb22 |
Only gamma_p needed
Actually give a proof.
|
|
assigned tag 07GS
|
2012-02-12 |
2d9c642
|
Tags: Added new tags
|
|
changed the statement and the proof
|
2012-01-22 |
84bc01b |
Some more lemmas on divided power structures
|
|
created statement with label lemma-need-only-gamma-p in crystalline.tex
|
2012-01-16 |
acaa8cf |
Definition of divided power structure
|