History of tag 0ALK
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2014-09-02 |
dd1cfdb |
Small changes
|
|
assigned tag 0ALK
|
2014-08-01 |
5604da5
|
Tags: Added new tags
|
|
created statement with label lemma-application-formal-glueing in more-algebra.tex
|
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!
|