History of tag 02LF
Go back to the tag's page.
type |
time |
link |
changed the statement
|
2022-01-23 |
9cee969 |
Try to use L/K notation for field extensions
We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.
|
changed the label to lemma-realize-prescribed-residue-field-extension-etale
|
2013-08-03 |
dba86b5 |
pell check: words starting with n, o, p, q, r, N, O, P, Q, or R
|
changed the statement
|
2013-08-03 |
dba86b5 |
pell check: words starting with n, o, p, q, r, N, O, P, Q, or R
|
changed the statement
|
2010-10-09 |
2b090dd |
End conversion of etale to \'etale.
|
assigned tag 02LF
|
2009-06-15 |
76f13f6
|
Added new tags to the file tags/tags
modified: tags/tags
|
created statement with label lemma-realize-presecribed-residue-field-extension-etale in more-morphisms.tex
|
2009-06-10 |
c09a8e6 |
More etale neighbourhoods and quasi-finite maps
modified: more-morphisms.tex
|