History of tag 07D9
type | time | link |
---|---|---|
changed the proof | 2015-07-13 | ee68012 |
changed the statement | 2013-05-23 | 993b318 |
assigned tag 07D9 | 2011-12-22 | 0ffbd53 |
created statement with label lemma-derived-products in injectives.tex | 2011-12-08 | d7ac453 |