History of tag 01PI
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
changed the statement
|
2020-09-17 |
f977c81 |
Add a sorely needed lemma
Should have done this a while ago
|
|
changed the statement
|
2017-06-06 |
e45dc6c |
typo
|
|
changed the proof
|
2013-08-03 |
badd58f |
Spell check: words starting with b, c, B, or C
|
|
changed the proof
|
2011-08-10 |
65ce54f |
LaTeX: \Spec
Introduced the macro
\def\Spec{\mathop{\rm Spec}}
and changed all the occurences of \text{Spec} into \Spec.
|
|
changed the proof
|
2011-06-15 |
78133d1 |
Fixed references to short titles
using the script we will add in the next commit
|
|
assigned tag 01PI
|
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
|
|
created statement with label lemma-extend-finite-presentation in properties.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
|