History of tag 0AGE
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
|
2018-01-29 |
61dce31 |
Fix a couple of double word mistakes
|
|
assigned tag 0AGE
|
2014-06-27 |
d3f2e91
|
Tags: Added new tags
Also fixed a few references
|
|
created statement with label lemma-check-universally-injective in spaces-more-morphisms.tex
|
2014-06-25 |
9f4531d |
Coequalizers of some natural equivalence relations
The first result is that if Y ---> X is surjective proper, then
the coequalizer of the two maps Y x_X Y ---> Y exists, is finite over X
and is in fact universally homeomorphic to X.
The second result says something more if Y consists of a blowing up in a
closed disjoint union the closed.
|