History of tag 0EFR
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-11-14 |
7bc368d |
esthablished -> established
Thanks to Will Chen
https://stacks.math.columbia.edu/tag/0DNZ#comment-5424
|
|
moved the statement to file algebraization.tex
|
2018-04-26 |
0d14b46 |
New chapter 'Algebraic and Formal Geometry'
|
|
changed the statement and the proof
|
2018-04-03 |
b2141d2 |
Upgrade bootstrap to specializatio stable subsets
|
|
changed the statement and the proof
|
2018-04-01 |
fd78762 |
In the middle of upgrade of local-cohomology
Many changes and a bunch of incomplete stuff. Most interesting is a
slight upgrade of the bootstrap results which will make applications
slightly stronger but more importantly will make things easier to parse.
|
|
assigned tag 0EFR
|
2018-01-17 |
0dbacca
|
Tags: Added new tags
|
|
changed the statement and the proof
|
2018-01-17 |
94445de |
Fix a snafu in a lemma...
Luckily these lemmas are still under development and hence do not yet
have tags assigned to them
|
|
changed the proof
|
2018-01-16 |
c305627 |
Connectedness result (nonlocal case)
Not very exciting...
|
|
created statement with label lemma-algebraize-local-cohomology-bis in local-cohomology.tex
|
2018-01-15 |
9cfc5c1 |
First very rough version bootstrap
Trickier than I thought. It seems there is a small error in the proof of
Proposition 1.6 in Mme Raynaud on page 10 because x is not an element of
H^0_t in general... It seems fixable by stratifying by codimension... as
we do in lemma-zero in this commit...
|