Go back to the tag's page.
Fix a forward reference Fallout from fe30ca5b
Tags: Added new tags
Cohomology F-crystal Improved exposition. Also split out the result on pullback via relative Frobenius morphism of a smooth scheme.