History of tag 0AV8
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0AV8
|
2015-01-06 |
6944879
|
Tags: Added new tags
|
|
changed the label to lemma-check-isomorphism-via-depth-and-ass
|
2014-12-22 |
46fb45a |
Move a lemma earlier
|
|
changed the statement
|
2014-12-22 |
46fb45a |
Move a lemma earlier
|
|
changed the proof
|
2014-12-22 |
0b6ec32 |
Move a lemma
|
|
changed the statement and the proof
|
2014-12-20 |
3e461e6 |
Improve handling of depth a bit
It turns out Burt Totaro was right...
|
|
changed the statement and the proof
|
2014-12-20 |
a8c97d5 |
Add a bit more precision in more-algebra.tex
TODO: Need to fix usage of depth...
|
|
created statement with label lemma-isom-depth-2 in more-algebra.tex
|
2014-12-18 |
dbc1a25 |
Torsion free and reflexive modules
Fun, fun, fun!
|