History of tag 0EGU
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-09-08 |
4e89460 |
Systems of the form I^nM
Slightly better handling of this kind of thing
|
|
changed the statement and the proof
|
2020-09-07 |
ae2ae32 |
Try to clean up a section in more-algebra
|
|
changed the statement
|
2020-09-05 |
6f09c4a |
Typo in more-algebra
|
|
assigned tag 0EGU
|
2018-02-28 |
d93d062
|
Tags: Added new tags
|
|
created statement with label lemma-consequence-Artin-Rees in more-algebra.tex
|
2018-02-28 |
507e511 |
A question on sequences of Ext modules
Thanks to Janos Kollar and Sandor Kovacs for the question
and a discussion by email.
|