History of tag 0GYG
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GYG
|
2022-06-14 |
5575c4b
|
Tags: Added new tags
Also made some unimportant mostly invisible changes
|
|
changed the statement
|
2022-06-14 |
5575c4b |
Tags: Added new tags
Also made some unimportant mostly invisible changes
|
|
created statement with label lemma-brown-bis in derived.tex
|
2022-05-25 |
2eb6d87 |
Yet another version of Brown
|