History of tag 0AVA
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2017-11-24 |
e880896 |
Strengthen two lemmas
These lemmas were not incorrect, but the statement of these lemmas was
misleading as the added example shows. Since taken literally the new
versions (trivially) imply the previous versions this change is
permitted under the rules imposed on changes to lemmas.
|
|
assigned tag 0AVA
|
2015-01-06 |
6944879
|
Tags: Added new tags
|
|
changed the proof
|
2014-12-20 |
3e461e6 |
Improve handling of depth a bit
It turns out Burt Totaro was right...
|
|
created statement with label lemma-reflexive-depth-2 in more-algebra.tex
|
2014-12-18 |
dbc1a25 |
Torsion free and reflexive modules
Fun, fun, fun!
|