Go back to the tag's page.
Tags: Added new tags
Flat pullback of principal divisor Be more precise so we can use the result for algebraic spaces