Go back to the tag's page.
Tags: added new tags
Invertible module is trivial on generic fibre Case of local ring smooth over valuation ring