History of tag 0ATK
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
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-15 |
3023a91 |
Characterize bdd below tor dim more-algebra
|
|
changed the statement and the proof
|
2016-02-14 |
665f788 |
Better handling of Hom complexes in more-algebra
|
|
assigned tag 0ATK
|
2014-12-12 |
75c9e41
|
Tags: Added new tags
|
|
created statement with label lemma-internal-hom-evaluate-tensor-isomorphism in more-algebra.tex
|
2014-12-12 |
83e1b23 |
Move lemmas and add one to more-algebra.tex
|