History of tag 08EV
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2016-11-12 |
6fc5d29 |
Largish set of changes: "proper over"
This is just a neurotic set of changes, making sure it makes sense to
say that a closed subset of X is proper over the base S in case X --> S
is a morphism which is locally of finite type...
Use this in the chapter on derived categories of schemes
Next up: Make similar changes for the case of algebraic spaces...
|
|
changed the statement
|
2013-01-24 |
29c0ca5 |
Another base change result
Most general thing you can do (I think) without using derived schemes
|
|
changed the proof
|
2013-01-03 |
81f3027 |
Add missing arguments to a proof
|
|
assigned tag 08EV
|
2012-12-19 |
f85564a
|
Tags: Added new tags
|
|
changed the statement and the proof
|
2012-12-18 |
7f365b9 |
Add missing proof
This is a bit amateurish, but at least is works.
|
|
created statement with label lemma-perfect-direct-image in perfect.tex
|
2012-12-18 |
5c6026c |
Towards the desired application
|