History of tag 0FH8
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0FH8
|
2019-08-28 |
c905dd0
|
Tags: added new tags
|
|
created statement with label lemma-kernel-to-closure in weil.tex
|
2019-08-23 |
f84de3c |
More detail in Voevodsky thing
The proof clearly works but it is still a bit rough. Going to leave it
alone for now.
|