P
Initializing...
The localization of a Dedekind domain at a nonzero prime is a proper subring of the fraction field · Prove2Me