History of tag 0F7G
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2021-05-09 |
01fba84 |
Upgrade Rf_! a little bit
Not sure this was necessary, but I guess it is clearly true, etc.
|
|
changed the proof
|
2019-11-24 |
8f6f00f |
Move a lemma earlier
|
|
assigned tag 0F7G
|
2019-04-13 |
37287dd
|
Tags: Added new tags
|
|
changed the proof
|
2019-04-13 |
37287dd |
Tags: Added new tags
|
|
changed the proof
|
2019-04-13 |
19aceef |
Compatibility with base change
|
|
created statement with label lemma-shriek-lqf-and-proper in more-etale.tex
|
2019-04-11 |
bfc25c3 |
Rf_! via compactifications
Just the construction and nothing else... We also shored up the
discussion of f_! in various ways... Terrible!
|