History of tag 0A6B
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2017-06-23 |
c7e0208 |
More consistent notation for RHom_A(-, -)
Of course in the end it is hopeless to have good notation...
|
|
changed the proof
|
2016-02-14 |
665f788 |
Better handling of Hom complexes in more-algebra
|
|
changed the proof
|
2014-05-11 |
c9793b8 |
More results on hom complexes
Utterly completely totally standard
|
|
assigned tag 0A6B
|
2014-05-10 |
9e227cd
|
Tags: Added new tags
|
|
created statement with label lemma-internal-hom-diagonal in more-algebra.tex
|
2014-05-10 |
5b8755f |
Local duality a la Grothendieck
Thanks to Bhargav Bhatt
The statement is now suitably general... the cost of this generality is
that it becomes harder to get observables out of the statement...
|