History of tag 093W
| type | time | link |
|---|---|---|
| moved the statement to file derived.tex | 2014-05-10 | 0ab5757 |
| changed the statement and the proof | 2014-05-10 | 0ab5757 |
| assigned tag 093W | 2013-06-11 | 855db3b |
| created statement with label lemma-compute-colimit in injectives.tex | 2013-05-17 | a7dcd28 |