History of tag 01C4
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2013-02-19 |
72e2bb2 |
Cleanup section closed immersions ringed spaces
There could be lots more here
|
|
changed the statement and the proof
|
2012-10-11 |
f8f0000 |
Grothendieck existence in proper case
No surprises.
|
|
assigned tag 01C4
|
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-i-star-reflects-finite-type in modules.tex
|
2009-05-07 |
d2f059e |
Multiple changes as follows:
Trivial change to algebra.tex introducing acc condition
More local results on coherent sheaves
More global results on coherent sheaves
Devissage of coherent sheaves
Small additions on sheaves of modules regarding behaviour map at
stalks
Finite type reflected by pushforward closed immersion
Fix error in properties.tex on sheaf annihilated by an ideal
shreaf and added cklarifications to lemma on sections over
quasi-compact open of an affine
modified: algebra.tex
modified: coherent.tex
modified: modules.tex
modified: properties.tex
|