History of tag 08JA
| type | time | link |
|---|---|---|
| changed the statement | 2015-07-10 | ff08f92 |
| changed the statement and the proof | 2014-05-11 | 3f898c9 |
| assigned tag 08JA | 2013-01-30 | e29b8e5 |
| created statement with label lemma-section-RHom-over-U in sites-cohomology.tex | 2013-01-29 | 70eaefa |