History for tag 0F7F—The Stacks project

History of tag 0F7F

type	time	link
changed the statement	2021-05-09	01fba84
Upgrade Rf_! a little bit Not sure this was necessary, but I guess it is clearly true, etc.
assigned tag 0F7F	2019-04-13	37287dd
Tags: Added new tags
created statement with label lemma-shriek-proper-and-open-base-change in more-etale.tex	2019-04-13	19aceef
Compatibility with base change