Monic polynomials over a local ring `R` with coprime reductions stay coprime over any `R`-algebra `K` (classically: the fraction field of a DVR).

Initializing...

Monic polynomials over a local ring `R` with coprime reductions stay coprime over any `R`-algebra `K` (classically: the fraction field of a DVR). · Prove2Me