History of tag 098C
| type | time | link |
|---|---|---|
| assigned tag 098C | 2013-06-11 | 855db3b |
| changed the label to lemma-proetale | 2013-05-17 | 7aae8a2 |
| changed the statement and the proof | 2013-05-17 | 7aae8a2 |
| created statement with label lemma-pro-etale in proetale.tex | 2013-05-12 | d5cc3e4 |