History of tag 07CA
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2012-04-08 |
cb3ccd9 |
Lifting smooth ring maps
Application of our earlier work on lifting finite projective
modules.
|
|
changed the statement and the proof
|
2012-01-10 |
ba4716f |
Various notions of standard elements
This is needed as the approach using just what we now call
"elementary standard" elements wasn't flexible enough for the
last part of the proof. Or at least we don't know...
|
|
assigned tag 07CA
|
2011-12-22 |
0ffbd53
|
TAGS: added new tags
|
|
changed the proof
|
2011-12-16 |
26629d8 |
Proof of lifting lemma
|
|
created statement with label lemma-elkik in smoothing.tex
|
2011-12-16 |
8cd53f4 |
Start new chapter on smoothing ring maps
|