History of tag 00PR
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.
|
|
changed the proof
|
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.
|
|
changed the proof
|
2010-12-04 |
c848d70 |
Fix error in algebra.tex
Pointed out by Lennart Galinat
|
|
assigned tag 00PR
|
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 and the proof
|
2009-04-10 |
713944e |
More neurotic changes
|
|
created statement with label lemma-make-integral-less-trivial in algebra.tex
|
2008-06-22 |
31aff90 |
modified: algebra.tex
modified: my.bib
|