History of tag 07NS
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2012-04-29 |
e5799d0 |
Move a lemma + fallout
|
|
assigned tag 07NS
|
2012-04-27 |
0cd691b
|
Tags: Added new tags
|
|
changed the statement
|
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.
|
|
created statement with label remark-what-does-it-mean in more-algebra.tex
|
2012-04-25 |
0f27d18 |
Deforming fs algebras
|