Property: Krull domain

Definition: localizations at height 1 primes are all discrete valuation rings

(No citations retrieved.)

(No metaproperty information retrieved.)