Go back to the tag's page.
Tags: Added new tags
Combining loc ac with proper base change
Local acyclicity of smooth morphisms In the stacks project we deduce it from the smooth base change theorem