History of tag 0922
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0922
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
changed the proof
|
2013-05-16 |
76d6171 |
Splitting hairs
|
|
changed the label to proposition-noetherian-naive-completion-is-completion
|
2013-05-16 |
aa4e2d7 |
Derived completeness for Noetherian rings
Now we see exactly where the "isomorphism of pro-objects"
gets used and how. It is in proving that the derived limit
of systems maps pro-isomorphisms to isomorphisms. Cool!
|
|
changed the statement and the proof
|
2013-05-16 |
aa4e2d7 |
Derived completeness for Noetherian rings
Now we see exactly where the "isomorphism of pro-objects"
gets used and how. It is in proving that the derived limit
of systems maps pro-isomorphisms to isomorphisms. Cool!
|
|
created statement with label lemma-noetherian-naive-completion-is-completion in more-algebra.tex
|
2013-05-16 |
06e26ec |
Koszul complexes over Noetherian rings
|