History of tag 00J7
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2018-08-05 |
57c4630 |
Add pairwise distinct to algebra
THanks to Jonas Ehrhard
https://stacks.math.columbia.edu/tag/00J7#comment-3421
|
assigned tag 00J7
|
2009-05-16 |
fad2e12
|
Started tags infrastructure
new file: scripts/add_tags.py
modified: scripts/functions.py
new file: tags/initial_tags
new file: tags/tags
|
changed the proof
|
2009-04-10 |
713944e |
More neurotic changes
|
changed the statement
|
2008-10-07 |
dea0f2a |
Revert "Typos fixed by Zach Maddock"
This reverts commit e4b02d5ea3f3c32bc337cfd0ffeccdd7d955c3ea.
|
changed the statement
|
2008-10-07 |
e4b02d5 |
Typos fixed by Zach Maddock
|
changed the statement
|
2008-10-06 |
9afd9b4 |
Improved small parts of Artinian rings section
|
created statement with label lemma-artinian-finite-nr-max in algebra.tex
|
2008-06-11 |
9ba5fc9 |
modified: algebra.tex
|