History of tag 0GEC
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2023-01-16 |
d3827ec |
Much better proof of a lemma
Thanks to Kentaro Inoue
https://stacks.math.columbia.edu/tag/0GEC#comment-7753
|
|
assigned tag 0GEC
|
2021-04-01 |
287eac1
|
Tags: added new tags
|
|
created statement with label lemma-dim-not-zero-exists-nonzerodivisor-nonunit in algebra.tex
|
2021-03-18 |
0b82e94 |
Existence of nonzerodivisor nonunit if dim > 0
The idea for this lemma came from an email discussion with Shiji Lyu
|