Prime ideal correspondence for localization
ID: prime-ideal-correspondence-for-localization
Extension and contraction give inverse inclusion-preserving bijections between prime ideals of and prime ideals of disjoint from :
New to topics? Read the docs here!