History of tag 0917
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0917
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
changed the proof
|
2013-05-15 |
5708673 |
How to turn Rlim(- \otimes_A^L E_n) into a functor
|
|
created statement with label lemma-hom-K-injective in more-algebra.tex
|
2013-05-14 |
5027993 |
Initial material on derived completion over rings
Todo: How does this compare with the "obvious" definition
that the map
M ---> \lim (M \otimes_A^L A/I^n)
be an isomorphism.
|