History of tag 07I9
Go back to the tag's page.
type |
time |
link |
changed the proof
|
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 statement
|
2012-04-01 |
32db852 |
Editorial changes
Try to standardize the notation and flow of the chapter on
crystalline cohomology.
|
assigned tag 07I9
|
2012-02-12 |
2d9c642
|
Tags: Added new tags
|
changed the statement
|
2012-02-05 |
a51f3f8 |
Fix some notation regarding divided power differentials
Also some of the formulas regarding the explicit
thickenings were wrong.
|
changed the proof
|
2012-02-04 |
6f72eaf |
Bit of cleanup
Went through the first few sections and cleaned up.
|
changed the statement
|
2012-01-17 |
b3800fc |
Small and big sites
Compare them and explain how this lets you do functoriality.
|
created statement with label lemma-divided-power-thickening-fibre-products in crystalline.tex
|
2012-01-17 |
3338c28 |
Divided power schemes
This is crappy notation perhaps...
|