History of tag 0EJ9
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2023-05-03 |
482356f |
Improve various lemmas on coh of F/f^nF
Hopefully this is actually improving the readability
|
|
changed the proof
|
2022-05-19 |
8aa47f4 |
Generalize lemmas cohomology inverse systems
|
|
assigned tag 0EJ9
|
2018-05-03 |
d2efbfd
|
Tags: added new tags
|
|
changed the statement and the proof
|
2018-04-30 |
2a155dd |
Starting to solidify stuff in algebraization.tex
|
|
changed the statement
|
2018-04-29 |
4b39649 |
The blowup argument
Finally! This took way too much time...
|
|
changed the proof
|
2018-04-26 |
f6df487 |
Reworking the notion of algebraizable
|
|
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-23 |
0cc2974 |
Discussion of uniqueness of algebraization
Also some unfinished lemmas, etc
|
|
changed the proof
|
2018-04-20 |
b7157ca |
Global case of cd(A, I) = 1
Finally! Wasn't as bad as expected.
|
|
changed the statement and the proof
|
2018-04-18 |
8ae1f61 |
Generalities on completion functor
|
|
created statement with label lemma-algebraization-principal-bis in local-cohomology.tex
|
2018-04-18 |
25eec7a |
Additional algebraization result
Still only the local case; hope to upgrade this soon...
|