History of tag 0BK1
Go back to the tag's page.
| type |
time |
link |
|
moved the statement to file local-cohomology.tex
|
2017-06-06 |
a866f45 |
Three new chapters
Titles: "Duality for Schemes", "Discriminants", "Local Cohomology"
|
|
changed the proof
|
2016-08-31 |
14741d6 |
Corrected typos in dualizing.tex guide.tex homology.tex intersection.tex limits.tex models.tex modules.tex more-groupoids.tex pic.tex
|
|
assigned tag 0BK1
|
2015-07-01 |
03f5b8c
|
Tags: Added new tags
|
|
changed the statement
|
2015-07-01 |
837ed87 |
Simplify a proof
|
|
changed the statement
|
2015-07-01 |
300c918 |
Formulate optimal proposition
Thanks to J\'anos Koll\'ar
|
|
changed the statement
|
2015-07-01 |
b2cc24c |
Apply Koll\'ar's lemma to simplify proof
Another option would be to move this lemma to the obsolete chapter
as it really is just a trivial consquence.
|
|
created statement with label lemma-sharp-finiteness-pushforward in dualizing.tex
|
2015-07-01 |
ea05a08 |
Koll\'ar's case of coherency of pushforward
Thanks to J\'anos Koll\'ar
|