History of tag 0GSW
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GSW
|
2022-03-14 |
fff42ff
|
Tags: Added new tags
|
|
changed the statement
|
2022-03-09 |
9191128 |
A few changes to section on eta_f in more-algebra
|
|
created statement with label lemma-eta-vanishing-beta-plus-pre in more-algebra.tex
|
2022-03-06 |
e24fd1b |
Done cleanup + details on eta_f
OK, I am rather pleased with the final lemma in this way. Now I can
start working on the scheme theory case of this
|