History of tag 07KY
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2013-08-03 |
d111c81 |
Spell check: words starting with d, e, f, g, D, E, F, or G
|
|
changed 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!
|
|
changed the statement and the proof
|
2013-05-14 |
000bafc |
Cleanup section on Rlim modules
|
|
moved the statement to file more-algebra.tex
|
2013-05-14 |
c724444 |
Move section on Rlim of modules to More on Algebra
|
|
moved the statement to file sites-cohomology.tex
|
2013-04-02 |
3663aa0 |
Digression: derived limits
Try to improve exposition
|
|
assigned tag 07KY
|
2012-03-21 |
4e265af
|
Tags: Added new tags
|
|
created statement with label lemma-break-long-exact-sequence in crystalline.tex
|
2012-03-07 |
8f4c999 |
Rlim of system in D
Thanks to Bhargav Bhatt
|