History of tag 0DV8
| type | time | link |
|---|---|---|
| assigned tag 0DV8 | 2017-05-25 | f25126d |
| changed the label to lemma-reduce-to-l-group | 2017-05-25 | 7b9a8ad |
| changed the statement and the proof | 2017-05-25 | 7b9a8ad |
| created statement with label in etale-cohomology.tex | 2017-05-24 | 916d48f |