History of tag 06XX
Go back to the tag's page.
type |
time |
link |
changed the statement and the proof
|
2020-12-11 |
fa6653e |
Extra lemma in derived + apply it 4 times
|
changed the statement and the proof
|
2019-12-12 |
7397e8e |
Missing assumptions in 2 lemmas and 1 proposition
This I should have caught much earlier myself since the third part of
the statement of the lemma somehow really doesn't make sense without the
assumption that \mathcal{P} is closed under direct sums...! Moreover,
the condition that \mathcal{P} contains 0 is necessary for the
application of lemma 05T7... Argh!
Thanks to awllower
https://stacks.math.columbia.edu/tag/06XX#comment-4827
|
changed the proof
|
2017-05-25 |
fc5e1c2 |
Fix index in derived
Thanks to Tanya Kaushal Srivastava
http://stacks.math.columbia.edu/tag/06XX#comment-2512
|
changed the statement
|
2017-04-13 |
8df8668 |
Wrong indices
Thanks to anonymous
http://stacks.math.columbia.edu/tag/06XX#comment-2466
|
changed the proof
|
2011-11-20 |
4c3c010 |
Precise form of K-flat resolutions
Helper lemma for upcoming study of modules on lisse-etale sites.
|
changed the statement
|
2011-08-11 |
4c15ebf |
LaTeX: \Ob
Introduced a macro
\def\Ob{\mathop{\rm Ob}\nolimits}
and replaced any occurence of \text{Ob}( with \Ob(. There are
still some occurences of \text{Ob} but these are sets, not the
operator that takes the set of objects of a category.
|
changed the statement
|
2011-08-04 |
32f9fd9 |
Special inverse systems
|
assigned tag 06XX
|
2011-08-04 |
19351ae
|
Tags: Added new tags
|
changed the proof
|
2011-08-04 |
19351ae |
Tags: Added new tags
|
created statement with label lemma-special-direct-system in derived.tex
|
2011-08-03 |
1a3a4ce |
Unbounded derived tensor products
A la Spaltenstein. (What a wonderful name!)
|