History of tag 08JR
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2017-04-11 |
04fef69 |
New macro: \Ext
|
|
changed the statement and the proof
|
2017-04-02 |
283ede5 |
Better Ext + f^*F for spaces
|
|
changed the statement
|
2016-11-13 |
1ccab25 |
Use the new material consistently
|
|
changed the statement
|
2013-04-09 |
e19bd1a |
Check condition [3] for Coh_{X/B}
|
|
assigned tag 08JR
|
2013-01-30 |
e29b8e5
|
Tags: Added new tags
|
|
created statement with label lemma-compute-ext in spaces-perfect.tex
|
2013-01-29 |
70eaefa |
Base change for RHom
This time for algebraic spaces.
|