History of tag 0AKI
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-01-23 |
9cee969 |
Try to use L/K notation for field extensions
We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.
|
|
changed the proof
|
2022-01-19 |
a29ec25 |
X -> S
Thanks to WhatJiaranEatsTonight
https://stacks.math.columbia.edu/tag/0AKI#comment-6706
|
|
moved the statement to file etale.tex
|
2014-08-01 |
82e3df8 |
Move a lemma earlier
|
|
changed the proof
|
2014-08-01 |
82e3df8 |
Move a lemma earlier
|
|
assigned tag 0AKI
|
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-finitely-many-maps-to-unramified in resolve.tex
|
2014-07-07 |
4fdec8b |
Fully faithfulness of completion on rig etale
|