History of tag 0AQW
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-02-07 |
4047864 |
Small changes related to cross references
|
|
changed the statement and the proof
|
2021-02-07 |
914d040 |
Fix up section with the main theorem
Still to do: explain better why this is interesting
|
|
changed 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.
|
|
changed the proof
|
2016-06-22 |
dedc1c0 |
Improve handling val crit for spaces
Do converse in the quasi-separated case independently from the case of
decent spaces.
|
|
assigned tag 0AQW
|
2014-10-03 |
9a68c95
|
Tags: Added new tags
|
|
created statement with label lemma-completion-proper-surjective-rig-surjective in restricted.tex
|
2014-09-29 |
4d34069 |
More examples of conditions which imply rig-surjectivity
|