History of tag 08XR
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2013-04-25 |
045ce00 |
Bunch of small changes
Algebra: adjointness lemma for Hom and restriction
Descent: add correct reference
Dualizing: add reference
parse.py: add comment on use needs_proof variable
|
|
assigned tag 08XR
|
2013-04-21 |
c59d021
|
Tags: added new tags
|
|
created statement with label lemma-hom-injective in dualizing.tex
|
2013-04-21 |
09e91ec |
New chapter on dualizing complexes
Filename: dualizing.tex
Title: Dualizing Complexes
|