History of tag 09K0
| type | time | link |
|---|---|---|
| assigned tag 09K0 | 2013-08-29 | 5f5bcfb |
| changed the statement and the proof | 2013-08-27 | d020f66 |
| changed the proof | 2013-08-27 | b1930bf |
| created statement with label lemma-target-graded-projective in dga.tex | 2013-08-26 | 22e749f |