History of tag 0GC9
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GC9
|
2021-02-08 |
bce5e9c
|
Tags: added new tags
|
|
changed the proof
|
2021-02-07 |
4047864 |
Small changes related to cross references
|
|
created statement with label lemma-flat-axioms 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.
|