History of tag 07CC
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
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 07CC
|
2011-12-22 |
0ffbd53
|
TAGS: added new tags
|
|
created statement with label lemma-strictly-standard-base-change in smoothing.tex
|
2011-12-19 |
d978695 |
Application of desingularization lemma
|