History of tag 01O4
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2013-05-20 |
30c4be1 |
Fix a few typos
Pointed out by Rex and David Holmes the comments (too many to list
here).
|
|
changed the proof
|
2011-06-18 |
d04b117 |
Fix problems found by script
|
|
assigned tag 01O4
|
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
|
2009-04-10 |
713944e |
More neurotic changes
|
|
changed the statement
|
2009-03-03 |
3363987 |
Constructing relative Proj by glueing, and
a horrible lemma about maps into relative Proj
modified: constructions.tex
modified: morphisms.tex
modified: properties.tex
modified: schemes.tex
|
|
created statement with label lemma-apply-relative in constructions.tex
|
2008-12-30 |
4e08e68 |
A bit more stuff on constructing schemes, specifically
relative spectrum
vector bundles
Proj of a ring
relative Proj
projective bundles
modified: algebra.tex
modified: coding.tex
modified: constructions.tex
modified: modules.tex
modified: morphisms.tex
modified: schemes.tex
modified: sheaves.tex
|