History of tag 07FE
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
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
|
2017-10-04 |
bb1a673 |
Fix missing primes in smoothing
Thanks to Anonymous
https://stacks.math.columbia.edu/tag/07FE#comment-2760
|
|
changed the proof
|
2015-12-14 |
d89696d |
Fix proof of 0BSI using 07C3
Thanks to Takashi Suzuki for a discussion and suggesting how to
move things around to get a nice proof.
|
|
assigned tag 07FE
|
2012-01-14 |
93b3e1d
|
Tags: Added new tags
|
|
changed the proof
|
2012-01-13 |
4a6b2dd |
More details in smoothing.tex
|
|
changed the proof
|
2012-01-12 |
1a1d29c |
Fixup of separable residue field case
Add proofs and small corrections.
|
|
created statement with label lemma-resolve-special in smoothing.tex
|
2012-01-12 |
0142d4d |
Layout of proof Popescu's theorem
Very sketchy... will work this out soon.
|