Go back to the tag's page.
Tags: Added new tags
Rf_! is a pseudo-functor TODO: show that the base change isomorphism is compatible with everything we've said so far.