History of tag 07H0
Go back to the tag's page.
| type |
time |
link |
|
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.
|
|
assigned tag 07H0
|
2012-02-12 |
2d9c642
|
Tags: Added new tags
|
|
created statement with label definition-extends in crystalline.tex
|
2012-01-22 |
84bc01b |
Some more lemmas on divided power structures
|