History of tag 00P3
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 proof
|
2011-08-14 |
ca002a3 |
Whitespace changes
|
assigned tag 00P3
|
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
|
created statement with label lemma-dimension-preserved-field-extension in algebra.tex
|
2008-11-28 |
28e4268 |
Intermediate save
modified: algebra.tex
|