Ideal approximation theorem
= Ideal approximation theorem
For finitely many distinct prime ideals, one can prescribe finite valuation data simultaneously by the <Chinese remainder theorem>.
= Ideal approximation theorem
For finitely many distinct prime ideals, one can prescribe finite valuation data simultaneously by the <Chinese remainder theorem>.