History of tag 01KE
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
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 proof
|
2011-08-10 |
65ce54f |
LaTeX: \Spec
Introduced the macro
\def\Spec{\mathop{\rm Spec}}
and changed all the occurences of \text{Spec} into \Spec.
|
|
changed the proof
|
2011-08-08 |
f2a11cf |
Fix self-references
Aaron Abrams pointed out that the graphical representation of
the logical structure of the chapter on commutative algebra had
loops. This shouldn't happen. Changing parse.py to look for
these we found a bunch of them still extant. All of these were
due to typos and are fixed in this commit.
|
|
changed the proof
|
2010-09-03 |
0c73351 |
Specializations and valuation rings
Somehow these two lemmas were not stated explicitly until now.
|
|
assigned tag 01KE
|
2009-05-16 |
fad2e12
|
Started tags infrastructure
new file: scripts/add_tags.py
modified: scripts/functions.py
new file: tags/initial_tags
new file: tags/tags
|
|
changed the proof
|
2009-04-10 |
713944e |
More neurotic changes
|
|
changed the statement and the proof
|
2008-12-10 |
f27cc93 |
Done with valuative criteria for now
modified: schemes.tex
modified: topology.tex
|
|
created statement with label lemma-lift-specializations-valuative in schemes.tex
|
2008-12-09 |
b3a553a |
Switch to home
modified: schemes.tex
modified: topology.tex
|