exact Polynomial.isCoprime_scaleRoots _ _ _ hr hp
R : Type u_1
inst✝ : CommRing R
p : R[X]
hp : IsCoprime p (derivative p)
r : R
hr : IsUnit r
⊢ IsCoprime (p.scaleRoots r) ((derivative p).scaleRoots r)
no goals