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