History of tag 09PS
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2024-04-10 |
4919435 |
Fix a typo in dpa
|
assigned tag 09PS
|
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-get-derivation in dga.tex
|
2013-10-07 |
9b1240a |
Relations produce obstructions to perfectness
This argument is apparantly due to Gulliksen.
|