History of tag 0916
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2013-10-03 |
c7e3913 |
Sharpen a lemma
Remove bounded assumption which isn't necessary. This uses the improved
method of finding nice resolutions in the chapter on differential graded
algebra.
|
|
assigned tag 0916
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
created statement with label lemma-K-injective-epimorphism in more-algebra.tex
|
2013-05-15 |
5708673 |
How to turn Rlim(- \otimes_A^L E_n) into a functor
|