History of tag 0AJS
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2021-01-27 |
a0fcb52 |
More cleanup in restricted
Taking way too much effort to do this...
|
|
changed the statement and the proof
|
2021-01-25 |
ec7a085 |
Clean up material on rig-smooth maps a bit more
|
|
changed the statement and the proof
|
2021-01-16 |
efd24a4 |
Rough discussion of rig-smooth maps
Very rough discussion. The material in this commit will gives us a
strengthening of 0AK9 to rig-smooth maps and moreover it corrects the
mistake of the proof of that lemma!
|
|
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
|
2014-07-30 |
a24127e |
Easier treatment of rig-etale in principal ideal case
Special case of a result of Elkik who treats more generally rig-smooth
ring maps
|
|
assigned tag 0AJS
|
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
|
|
created statement with label lemma-NL-is-limit in resolve.tex
|
2014-07-04 |
a9707e0 |
Algebras topologically of finite type
There does not seem to be a good terminology for these ring maps.
|