History of tag 0GD4
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
assigned tag 0GD4
|
2021-02-08 |
bce5e9c
|
Tags: added new tags
|
|
changed the proof
|
2021-02-07 |
4047864 |
Small changes related to cross references
|
|
changed the proof
|
2021-02-07 |
914d040 |
Fix up section with the main theorem
Still to do: explain better why this is interesting
|
|
created statement with label lemma-closed-immersion-rig-smooth in restricted.tex
|
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.
|