History of tag 00PU
Go back to the tag's page.
| type |
time |
link |
|
moved the statement to file obsolete.tex
|
2018-10-23 |
7ce3fe3 |
Simplify a proof
Thanks to Brian Conrad
https://stacks.math.columbia.edu/tag/00PV#comment-3631
|
|
changed the proof
|
2018-10-23 |
7ce3fe3 |
Simplify a proof
Thanks to Brian Conrad
https://stacks.math.columbia.edu/tag/00PV#comment-3631
|
|
changed the proof
|
2018-10-21 |
844a731 |
Invisible changes
Thanks to Pieter Belmans
|
|
changed the statement
|
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 00PU
|
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
|
|
created statement with label lemma-change-equation-multiply in algebra.tex
|
2008-06-22 |
31aff90 |
modified: algebra.tex
modified: my.bib
|