History of tag 0A8J
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 statement and the proof
|
2016-02-14 |
665f788 |
Better handling of Hom complexes in more-algebra
|
|
changed the proof
|
2015-03-30 |
0a5bec0 |
Fix error in definition map
|
|
assigned tag 0A8J
|
2014-05-13 |
07d1700
|
Tags: Added new tags
|
|
created statement with label lemma-internal-hom-composition in more-algebra.tex
|
2014-05-11 |
c9793b8 |
More results on hom complexes
Utterly completely totally standard
|