History of tag 099J
Go back to the tag's page.
| type |
time |
link |
|
moved the statement to file algebraization.tex
|
2018-04-26 |
0d14b46 |
New chapter 'Algebraic and Formal Geometry'
|
|
moved the statement to file local-cohomology.tex
|
2017-06-08 |
7535e63 |
Move two sections
|
|
changed the proof
|
2014-09-05 |
2aa51b9 |
Fix silly mistake
|
|
changed the proof
|
2014-03-03 |
b1ebb6e |
Slightly better version of remark from previous commit
|
|
changed the proof
|
2014-03-03 |
eec6789 |
Rf_* commutes with derived completion
This clarifies some of the issues that happen when you consider the
derived pushforward of a derived complete complex. See also the next
commit.
|
|
assigned tag 099J
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
changed the proof
|
2013-06-08 |
2e74b41 |
Fix references
|
|
changed the statement
|
2013-06-03 |
770ad8c |
More about pushforward and pullback of derived complete complexes
|
|
created statement with label lemma-pushforward-derived-complete in proetale.tex
|
2013-05-29 |
d9a9468 |
Derived completion in Noetherian constant case
|