History of tag 0AQV
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2021-02-08 |
b3d09ba |
Finish cleanup
Finally!
|
|
changed the label to lemma-upshot
|
2021-02-04 |
0bbf9d1 |
More on formal algebraic spaces
Almost all of this is utterly trivial. It is only when you chain 100 or
so of these lemmas together that you get something recognizable as
geometry.
|
|
changed the statement and the proof
|
2021-02-04 |
0bbf9d1 |
More on formal algebraic spaces
Almost all of this is utterly trivial. It is only when you chain 100 or
so of these lemmas together that you get something recognizable as
geometry.
|
|
assigned tag 0AQV
|
2014-10-03 |
9a68c95
|
Tags: Added new tags
|
|
created statement with label remark-upshot in restricted.tex
|
2014-09-29 |
4d34069 |
More examples of conditions which imply rig-surjectivity
|