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 |