History of tag 0A98
| type | time | link |
|---|---|---|
| changed the proof | 2016-02-14 | 734ae7e |
| changed the proof | 2015-03-30 | 0a5bec0 |
| changed the statement | 2014-07-22 | 1d5ef11 |
| assigned tag 0A98 | 2014-05-13 | 07d1700 |
| created statement with label lemma-internal-hom-composition in sites-cohomology.tex | 2014-05-11 | 3f898c9 |