History of tag 0AKA
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2021-02-01 |
bfee15e |
Finish cleaning up
|
|
changed the statement and the proof
|
2021-01-25 |
ec7a085 |
Clean up material on rig-smooth maps a bit more
|
|
changed the proof
|
2014-09-09 |
b2e6757 |
Fix a reference
|
|
changed the statement and the proof
|
2014-09-03 |
99dfe0b |
Fix the last FIXME from restricted.tex
|
|
moved the statement to file restricted.tex
|
2014-08-29 |
330bbf3 |
Added a new chapter entitled "Restricted Power Series"
Not completely happy with the title yet, but we can change it later
|
|
changed the statement and the proof
|
2014-08-01 |
3418934 |
Elkik's algebraization in general
This large set of changes finally gives a ``good'' proof of Elkik's
algebraization of rig-etale algebras. Note the fun lemma descending
a given deformation through an \'etale map which is an isomorphism
along the non-\'etale locus!
|
|
assigned tag 0AKA
|
2014-07-15 |
43a6949
|
Tags: Added new tags
|
|
moved the statement to file formal-spaces.tex
|
2014-07-15 |
8a3e956 |
Move material into formal-spaces.tex
|
|
changed the proof
|
2014-07-06 |
33f89d9 |
Different characterizations of rig etale maps
|
|
created statement with label lemma-approximate in resolve.tex
|
2014-07-05 |
c693157 |
Approximation of rig etale algebras
|