P
Initializing...
Monic polynomials over a local ring whose residue reductions are coprime are coprime. · Prove2Me