History of tag 02O5
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-05-01 |
4faaa7b |
The letter n is overloaded
Thanks to Manuel Hoff
https://stacks.math.columbia.edu/tag/02O5#comment-7072
|
|
changed the statement
|
2017-08-01 |
b9edc60 |
Reference for 02O5.
|
|
changed the label to proposition-proper-pushforward-coherent
|
2014-04-21 |
1d46c85 |
Upgrade to results from lemmas to propositions
Namely, Grothendieck's result on vanishing of cohomology on Noetherian
topological space and Grothendieck's result on proper pushforward of
coherent sheaves
|
|
changed the statement and the proof
|
2014-04-21 |
1d46c85 |
Upgrade to results from lemmas to propositions
Namely, Grothendieck's result on vanishing of cohomology on Noetherian
topological space and Grothendieck's result on proper pushforward of
coherent sheaves
|
|
assigned tag 02O5
|
2009-07-15 |
dd4cee6
|
New tags added to the project
modified: tags/tags
|
|
changed the proof
|
2009-06-18 |
5761571 |
Changed order of things to avoid circular dependencies
modified: coherent.tex
modified: limits.tex
modified: properties.tex
|
|
changed the proof
|
2009-06-18 |
fc8d4b8 |
Finished the proof of higher direct images coherent sheaves under
proper morphisms
modified: coherent.tex
|
|
created statement with label lemma-proper-pushforward-coherent in coherent.tex
|
2009-06-17 |
2e918a7 |
Started proving fundamental theorem on higher direct images
modified: coherent.tex
modified: morphisms.tex
|