History of tag 0G0E
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-12-12 |
e0c05ba |
Move two sections earlier
|
|
assigned tag 0G0E
|
2020-05-25 |
d60dd58
|
Tags: Added new tags
|
|
changed the proof
|
2020-05-25 |
08b93d3 |
Last few fixes
There was a tiny snafu with one of the lemmas. If we consistently only
work with geometrically connected varieties, then the snafu doesn't come
up at all...
|
|
created statement with label lemma-uniqueness in equiv.tex
|
2020-05-24 |
be1ed54 |
Preparations for countability
Just very standard stuff
|