History of tag 09KU
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2019-10-19 |
49f4949 |
Fix grading in dga
|
|
assigned tag 09KU
|
2013-08-29 |
5f5bcfb
|
Tags: Added new tags
|
|
changed the label to lemma-right-resolution
|
2013-08-28 |
1beea64 |
Correct way to compute RHom(N, -) in DGA setting
|
|
changed the statement and the proof
|
2013-08-28 |
1beea64 |
Correct way to compute RHom(N, -) in DGA setting
|
|
created statement with label remark-injectives-missing in dga.tex
|
2013-08-27 |
fc339ac |
Restriction and base change
This is quite ugly at the moment.
|