History of tag 099M
Go back to the tag's page.
type |
time |
link |
changed the statement and the proof
|
2018-04-26 |
0d14b46 |
New chapter 'Algebraic and Formal Geometry'
|
changed the statement and the proof
|
2017-06-08 |
7535e63 |
Move two sections
|
changed the proof
|
2014-03-03 |
b952799 |
Add missing explicit description of derived completion
We tried to do as much as possible with the extended alternating Cech
complex, because it is technically easier to work with, but putting this
in will perhaps help convince the reader that derived completion is in
some sense a completion. Also, we'll use it in the next commit.
|
assigned tag 099M
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
changed the proof
|
2013-06-08 |
2e74b41 |
Fix references
|
created statement with label lemma-naive-completion in proetale.tex
|
2013-05-29 |
d9a9468 |
Derived completion in Noetherian constant case
|