History of tag 0GZH
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GZH
|
2022-06-14 |
5575c4b
|
Tags: Added new tags
Also made some unimportant mostly invisible changes
|
|
changed the statement and the proof
|
2022-06-07 |
afe77c0 |
Finished the proof
Thanks to Bhargav Bhatt for explaining how to get the unboubnded version
working like so.
|
|
created statement with label lemma-pro-isomorphic in sdga.tex
|
2022-06-06 |
19f87c1 |
Towards the goal
|