History of tag 0AV1
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 0AV1
|
2015-01-06 |
6944879
|
Tags: Added new tags
|
|
created statement with label lemma-check-reflexive in more-algebra.tex
|
2014-12-18 |
dbc1a25 |
Torsion free and reflexive modules
Fun, fun, fun!
|