History of tag 0978
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2018-08-13 |
416bea2 |
Small clarification in proetale
|
|
changed the proof
|
2013-08-03 |
16be7e5 |
ll check: words starting with u, v, w, x, y, z, U, V, W, X, Y, or Z
|
|
assigned tag 0978
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
changed the statement and 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 lemma-profinite-goes-up in proetale.tex
|
2013-05-07 |
b33e46a |
A bit more small thngs in proetale.tex
|