History of tag 091Q
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2017-04-11 |
04fef69 |
New macro: \Ext
|
|
changed the statement and the proof
|
2015-07-09 |
6d3d7e2 |
Generalized Cartan-Eilenberg
Only for Grothendieck abelian categories
|
|
changed the proof
|
2013-06-22 |
52a1f54 |
Add a section collecting results of
e2d6d04a89c87ff4f5cc63b9602782810074f3ed
|
|
assigned tag 091Q
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
created statement with label lemma-ideal-of-elements-complete-wrt 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.
|