History of tag 08JI
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2014-05-06 |
9900b0c |
Fix some indices
TODO: We need to change the order of some of the tensor products
in a few places to conform to the standard that
Hom(V, W) = W* \otimes V
|
|
assigned tag 08JI
|
2013-01-30 |
e29b8e5
|
Tags: Added new tags
|
|
created statement with label lemma-Rhom-complex-of-direct-summands-finite-free in sites-cohomology.tex
|
2013-01-29 |
70eaefa |
Base change for RHom
This time for algebraic spaces.
|