History of tag 091T
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 091T
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
created statement with label proposition-derived-complete-modules 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.
|