History of tag 09R9
type | time | link |
---|---|---|
changed the proof | 2019-11-10 | 9acf7d2 |
assigned tag 09R9 | 2013-12-06 | 7c7a919 |
changed the proof | 2013-12-05 | 894b8df |
created statement with label lemma-tensor-with-compact-fully-faithful in dga.tex | 2013-10-30 | 9d19821 |