History of tag 0F3E
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-05-20 |
744d02d |
Typo in more-morphisms
|
|
changed the statement and the proof
|
2021-05-20 |
e9010d7 |
Fix lemma and fix the proof
Unfortunately, we didn't check that the hypotheses matched what we used
in the proof of the lemma and indeed we need to use that Y is
geometrically unibranch in order for the proof to go through!
|
|
changed the proof
|
2021-05-20 |
6718614 |
Examples of trace for quasi-finite morphisms
|
|
assigned tag 0F3E
|
2019-03-10 |
d129618
|
Tags: Added new tags
|
|
created statement with label lemma-weighting-quasi-finite-Noetherian in more-morphisms.tex
|
2019-03-03 |
12a7202 |
Some material on weightings + asn
Needs a bit more work, but alsmost done
|