History of tag 0GKV
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
assigned tag 0GKV
|
2021-05-20 |
cf55f30
|
Tags: Added new tags
|
|
changed the proof
|
2021-05-14 |
7d16e28 |
Rf_! preserves constructibility
There is a remark by Artin that having the functor Rf_! around makes
this proof easier. This is sort of true but not in a terribly convincing
way. Perhaps because of using the rather terrible lemma from the
previous commit.
|
|
created statement with label lemma-proper-smooth-family-curves in more-etale.tex
|
2021-05-12 |
a884069 |
Another case where pushing gives constructible
|