History of tag 08PJ
| type | time | link |
|---|---|---|
| moved the statement to file sites-cohomology.tex | 2013-03-16 | f740470 |
| changed the statement and the proof | 2013-03-11 | 54555a8 |
| assigned tag 08PJ | 2013-03-03 | 138b618 |
| created statement with label lemma-compute-left-derived-pi-shriek in cotangent.tex | 2013-02-26 | bdb3c96 |