History of tag 0AVM
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0AVM
|
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
|
|
moved the statement to file divisors.tex
|
2014-12-22 |
46fb45a |
Move a lemma earlier
|
|
changed the statement and the proof
|
2014-12-22 |
46fb45a |
Move a lemma earlier
|
|
changed the statement
|
2014-12-20 |
3e461e6 |
Improve handling of depth a bit
It turns out Burt Totaro was right...
|
|
created statement with label lemma-isom-depth-2 in dualizing.tex
|
2014-12-20 |
7078f4d |
Fix statement and proof finiteness result
|