History of tag 091C
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2016-09-27 |
044a320 |
Emmanouil's result
First proof thanks to Daniel Litt
|
|
changed the proof
|
2013-12-22 |
19733a9 |
LaTeX
Added a new macro
\def\Im{\text{Im}}
and replaced all occurrences of \text{Im} by \Im
|
|
assigned tag 091C
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
created statement with label lemma-Rlim-zero-of-direct-sums in more-algebra.tex
|
2013-05-17 |
60b8a3c |
A curiosity
Detect whether an inverse system (A_n) is zero as a pro-object by
testing whether
\lim (A_n) = 0 and R^1\lim \bigoplus_i (A_n) = 0
Apply this to show that derived completion agrees with naive derived
completion for I = (f) if and only if the f-torsion is bounded.
|