History of tag 0A62
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-05-03 |
709db34 |
Monoidal structure does something for us
Thanks to Hao peng
https://stacks.math.columbia.edu/tag/0BYM#comment-7130
https://stacks.math.columbia.edu/tag/0A60#comment-7131
https://stacks.math.columbia.edu/tag/0A8I#comment-7132
https://stacks.math.columbia.edu/tag/08J7#comment-7133
https://stacks.math.columbia.edu/tag/0A60#comment-7135
https://stacks.math.columbia.edu/tag/0A60#comment-7137
https://stacks.math.columbia.edu/tag/0A60#comment-7141
|
|
changed the proof
|
2016-02-14 |
665f788 |
Better handling of Hom complexes in more-algebra
|
|
assigned tag 0A62
|
2014-05-10 |
9e227cd
|
Tags: Added new tags
|
|
created statement with label lemma-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...
|