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