History of tag 0A9C
| type | time | link |
|---|---|---|
| changed the proof | 2016-10-07 | abd655b |
| changed the statement | 2014-06-06 | 64b2f7b |
| assigned tag 0A9C | 2014-05-13 | 07d1700 |
| created statement with label lemma-map-from-pseudo-coherent-to-complex-with-support in perfect.tex | 2014-05-13 | 3668eca |