History of tag 07PL
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 07PL
|
2012-04-27 |
0cd691b
|
Tags: Added new tags
|
|
created statement with label lemma-lift-derivation-through-fs 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.
|