History of tag 0C30
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2023-03-03 |
ceab601 |
Small changes
|
|
changed the proof
|
2023-03-03 |
7bddc09 |
Inducing universal homeos
Thanks to Rubén Muñoz--Bertrand
https://stacks.math.columbia.edu/tag/0C30#comment-8096
|
|
assigned tag 0C30
|
2016-03-16 |
affbdd9
|
Tags: Added new tags
|
|
created statement with label lemma-separable-field-extension-geometrically-normal in algebra.tex
|
2016-03-10 |
0c804c2 |
Separable field extension is geometrically normal
Of course we can formulate many, many lemmas like this
|