History of tag 0GKX
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GKX
|
2021-05-20 |
cf55f30
|
Tags: Added new tags
|
|
created statement with label lemma-constant-shriek-rel-dim-1 in more-etale.tex
|
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.
|