History of tag 0A06
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2017-06-03 |
efbd134 |
Fix typo in more-algebra
|
|
changed the statement and the proof
|
2014-05-15 |
0a0e43f |
Observable out of Grothendieck local duality
|
|
assigned tag 0A06
|
2014-03-04 |
00d2aaa
|
Tags: Added new tags
Also fixed two small things found by scripts
|
|
created statement with label lemma-derived-completion-pseudo-coherent in more-algebra.tex
|
2014-03-03 |
2a510e9 |
Derived completion of pseudo-coherent complex over Noetherian ring
|