Ideal approximation theorem (source code)

= Ideal approximation theorem

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