History of tag 0AAJ
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2018-01-09 |
b084391 |
More about derived completion in Noetherian case
|
|
changed the statement and the proof
|
2018-01-09 |
d631839 |
Upgrade a lemma in more-algebra
Very minor upgrade
|
|
changed the proof
|
2016-09-28 |
be701cf |
Rlim of abelian groups and modules
Split section into two parts
|
|
assigned tag 0AAJ
|
2014-05-15 |
ec721ab
|
Tags: Added new tags
|
|
created statement with label lemma-derived-completion-finite-cohomological-dimension in more-algebra.tex
|
2014-05-15 |
0a0e43f |
Observable out of Grothendieck local duality
|