History of tag 0G5V
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0G5V
|
2020-11-20 |
7c480a2
|
Tags: added new tags
Also fixed a couple of small things
|
|
created statement with label lemma-reduced-derived-complete-complete in more-algebra.tex
|
2020-11-18 |
5bd86c5 |
Reduced + derived complete => complete
Thanks to Kestutis Cesnavicius
https://stacks.math.columbia.edu/tag/0ALJ#comment-5775
|