History of tag 07PM
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 statement
|
2021-07-19 |
93a3544 |
Add terminology to statement proposition
Thanks to Ehsan
https://stacks.math.columbia.edu/tag/07PM#comment-6294
|
|
changed the proof
|
2017-10-05 |
0adaa52 |
Remove 'f.f.'
Sad IMHO.
Thanks to BCnrd, Dario Weissmann, and sdf
https://stacks.math.columbia.edu/tag/02JQ#comment-2762
https://stacks.math.columbia.edu/tag/02JQ#comment-2765
https://stacks.math.columbia.edu/tag/02JQ#comment-2766
https://stacks.math.columbia.edu/tag/02JQ#comment-2767
|
|
assigned tag 07PM
|
2012-04-27 |
0cd691b
|
Tags: Added new tags
|
|
changed the proof
|
2012-04-26 |
ae2104e |
Small fix
|
|
created statement with label proposition-fs-regular in more-algebra.tex
|
2012-04-26 |
2fa1277 |
Formally smooth in the m-adic topology implies regular
Again using the trick with derivations. This time using in an
essential way that derivations can be lifted to formally smooth
over rings... Cool.
|