History of tag 090Y
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2015-07-13 |
5512d4d |
K = Rlim truncations iff I = lim I_n
|
|
changed the label to lemma-enough-K-injectives-Ab4-star
|
2013-12-12 |
e3f2efb |
Get rid of * in LaTeX labels
|
|
changed the statement
|
2013-12-12 |
e3f2efb |
Get rid of * in LaTeX labels
|
|
assigned tag 090Y
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
changed the proof
|
2013-05-14 |
0ee24a6 |
Lemmas about completion
Does the second lemma also hold if I is not finitely generated?
Please email if you know.
|
|
created statement with label lemma-enough-K-injectives-Ab4* in derived.tex
|
2013-05-14 |
1455bf6 |
Fix confusion about RF commuting with derived limits
|