History of tag 00PS
Go back to the tag's page.
| type |
time |
link |
|
moved the statement to file obsolete.tex
|
2011-10-25 |
f49c205 |
Shorten proof ZMT
It turned out two lemmas weren't used. These lemmas were moved
to the "obsolete" chapter. They could have been used in the
proof of ZMT for monogenic extensions but they weren't. In my
opinion the proof of that lemma is short enough so we can
continue to avoid using these lemmas.
|
|
assigned tag 00PS
|
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 statement
|
2008-12-01 |
54c83f3 |
Small changes
modified: algebra.tex
|
|
created statement with label lemma-make-integral-not-in-ideal in algebra.tex
|
2008-06-22 |
31aff90 |
modified: algebra.tex
modified: my.bib
|