History of tag 00IN
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2014-08-28 |
89a847d |
Bunch of small mistakes fixed
Thanks to correction_bot
Comments 943 -- 953 on website
|
|
changed the statement
|
2012-06-12 |
c581994 |
Formal objects and effectivity
|
|
assigned tag 00IN
|
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 proof
|
2008-10-07 |
c978a67 |
And this time I correctly applied Zach Maddock's changes
|
|
changed the proof
|
2008-10-07 |
dea0f2a |
Revert "Typos fixed by Zach Maddock"
This reverts commit e4b02d5ea3f3c32bc337cfd0ffeccdd7d955c3ea.
|
|
changed the proof
|
2008-10-07 |
e4b02d5 |
Typos fixed by Zach Maddock
|
|
changed the proof
|
2008-09-29 |
0e797bd |
Moved the section on completion
modified: algebra.tex
|
|
changed the proof
|
2008-09-28 |
89af148 |
Typos...
modified: algebra.tex
|
|
changed the statement
|
2008-09-22 |
a08fa0f |
Moved Hilbert Nullstellensatz earlier and expanded it.
Small changes to Jacobson story
modified: algebra.tex
modified: topology.tex
|
|
created statement with label lemma-Artin-Rees in algebra.tex
|
2008-06-10 |
520cad3 |
modified: algebra.tex
|