History of tag 0A69
Go back to the tag's page.
type |
time |
link |
changed the statement and the proof
|
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
|
2014-12-12 |
83e1b23 |
Move lemmas and add one to more-algebra.tex
|
assigned tag 0A69
|
2014-05-10 |
9e227cd
|
Tags: Added new tags
|
moved the statement to file more-algebra.tex
|
2014-05-06 |
0f7f09e |
Moved three sections earlier
Proj dim, Inj dmi, RHom in algebra
|
created statement with label lemma-internal-hom-evaluate-isomorphism-technical in dualizing.tex
|
2014-05-06 |
32cbb11 |
Uniqueness of dualizing complex
|