History of tag 0GKP
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GKP
|
2021-05-20 |
cf55f30
|
Tags: Added new tags
|
|
changed the proof
|
2021-05-20 |
4adfda6 |
Trace maps for compactly supported cohomology
|
|
created statement with label lemma-relative-triangle-associated-to-open 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.
|