History of tag 09Q0
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 09Q0
|
2013-10-08 |
1e3157f
|
Tags: Added new tags
|
|
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.
|
|
created statement with label lemma-quotient-regular-ring-by-regular-sequence in dga.tex
|
2013-10-08 |
0b2bd93 |
Avramov's result
Finally!
|