History of tag 0DJN
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2017-04-11 |
6027715 |
Unimportant changes to improve LaTeX
|
assigned tag 0DJN
|
2017-04-08 |
001e052
|
Tags: Added new tags
|
changed the proof
|
2017-04-01 |
1428e09 |
Better Ext + f^*F
Could have been said ages ago...
|
created statement with label lemma-pseudo-coherent-hocolim in perfect.tex
|
2017-03-31 |
ab66e4e |
Characterizing pseudo-coherent complexes
As being hocolim K_n with K_n perfect and such that the K_n form a good
approximation of the complex (agree in more and more cohomological
degrees).
|