History of tag 0983
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2013-08-03 |
6cc7a5d |
ell check: words starting with s, t, S, or T
|
|
assigned tag 0983
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
changed the proof
|
2013-05-11 |
b7a7c16 |
Fix a lemma
The statement of lemma-w-local-algebraic-residue-field-extensions
was wrong. Fixed and now there is a proof as well.
|
|
created statement with label proposition-find-w-contractible in proetale.tex
|
2013-05-10 |
f8f9624 |
Construction of w-contractible covers
|