History of tag 0GZM
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GZM
|
2022-06-14 |
5575c4b
|
Tags: Added new tags
Also made some unimportant mostly invisible changes
|
|
created statement with label lemma-no-chevalley in examples.tex
|
2022-05-28 |
2d965db |
Chevalley does not work with locally closed
Thanks to Spencer Dembner
|