History of tag 00MX
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2021-12-21 |
8b0515a |
Missing hypothesis in more-algebra
Not superbad but still bad
|
|
moved the statement to file more-algebra.tex
|
2018-09-06 |
481aa31 |
Move lemma algebra to more-algebra + generalize
Also: the cokernel of an injective map of finite free modules of the
same rank has vanishing dual
|
|
changed the statement and the proof
|
2018-09-06 |
481aa31 |
Move lemma algebra to more-algebra + generalize
Also: the cokernel of an injective map of finite free modules of the
same rank has vanishing dual
|
|
changed the proof
|
2016-11-21 |
de7e6c4 |
Clean up "What makes a complex exact?"
Of course, everything was OK but it really was kinda imprecise here and
there... Discovered while teaching about this material in my commutative
algebra course this semester.
|
|
changed the statement and the proof
|
2012-05-10 |
3f35f36 |
zerodivisor and nonzerodivisor
Seems better this way.
|
|
changed the proof
|
2012-05-10 |
1028202 |
Two typos
Thanks to Yuhao Huang
|
|
changed the statement and the proof
|
2012-01-10 |
ba4716f |
Various notions of standard elements
This is needed as the approach using just what we now call
"elementary standard" elements wasn't flexible enough for the
last part of the proof. Or at least we don't know...
|
|
changed the proof
|
2011-06-16 |
b1fb977 |
Fix more references
Final fix for now
|
|
changed the proof
|
2011-05-05 |
713fad1 |
Typos
|
|
assigned tag 00MX
|
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-11-18 |
6b1b153 |
Patch by Zachary Maddock
modified: CONTRIBUTORS
modified: algebra.tex
|
|
created statement with label lemma-exact-length-1 in algebra.tex
|
2008-06-15 |
b57b7f3 |
modified: algebra.tex
|