History of tag 0G0U
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2020-05-30 |
f5f47a2 |
Mistaken lemma
Thanks to Burt Totaro
Another fix would be to require the schemes to be of finite presentation
over the ring.
|
|
assigned tag 0G0U
|
2020-05-25 |
d60dd58
|
Tags: Added new tags
|
|
created statement with label lemma-countable-finite-type in equiv.tex
|
2020-05-24 |
be1ed54 |
Preparations for countability
Just very standard stuff
|