History of tag 01XQ
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2015-03-23 |
7f25380 |
Move a section earlier
|
moved the statement to file properties.tex
|
2015-03-23 |
76c1e79 |
Move lemmas on sections over principal open into common section
Also improve the exposition a bit
|
changed the statement and the proof
|
2015-03-23 |
76c1e79 |
Move lemmas on sections over principal open into common section
Also improve the exposition a bit
|
changed the proof
|
2014-09-06 |
b5961ce |
Mostly invisible changes
Get rid of some superfluous commands in the text
|
changed the statement
|
2011-08-13 |
4ea0b65 |
Whitespace changes
|
assigned tag 01XQ
|
2009-05-16 |
fad2e12
|
Started tags infrastructure
new file: scripts/add_tags.py
modified: scripts/functions.py
new file: tags/initial_tags
new file: tags/tags
|
changed the statement and the proof
|
2009-05-11 |
e6bf102 |
Finished proof section kills cohomology
modified: coherent.tex
|
created statement with label lemma-section-maps-backwards in coherent.tex
|
2009-05-11 |
6f5fb4c |
Towards a cohomological property of ample invertible sheaves
Improved notation in definition directed diagrams
Lemmas on comparing sheaves which agree on princpal opens
Started proving powers sections kill cohomology classes
Set of isomorphism classes of finite type modules
Inclusion principal open is affine morphism
Quasi-coherent modules are directed colimits of sheaves of
finite presentation
modified: categories.tex
modified: coherent.tex
modified: modules.tex
modified: morphisms.tex
modified: properties.tex
|