History of tag 0AV7
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-04-10 |
ee89db0 |
Fix an imprecision in a proof in more-algebra
Thanks to Laurent Moret-Bailly
https://stacks.math.columbia.edu/tag/0AV7#comment-8274
|
|
changed the proof
|
2017-04-13 |
59fd89a |
There are only two cases!
Thanks to Raymond Cheng
http://stacks.math.columbia.edu/tag/0AV7#comment-2471
|
|
changed the statement
|
2015-01-09 |
526c9e1 |
Results on torsion free and reflexive modules on schemes
Just the translation of previously shown algebra results
|
|
assigned tag 0AV7
|
2015-01-06 |
6944879
|
Tags: Added new tags
|
|
changed the label to lemma-check-injective-on-ass
|
2014-12-22 |
0b6ec32 |
Move a lemma
|
|
changed the statement
|
2014-12-22 |
0b6ec32 |
Move a lemma
|
|
changed the statement
|
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-inj-depth-1 in more-algebra.tex
|
2014-12-18 |
dbc1a25 |
Torsion free and reflexive modules
Fun, fun, fun!
|