no goals
R : Type u_1
S : Type ?u.286658
F : Type ?u.286661
K : Type ?u.286664
P Q : Cubic R
a b c d a' b' c' d' : R
inst✝ : Semiring R
h : toPoly P = toPoly Q
⊢ P.b = Q.b
rw [← coeff_eq_b, h, coeff_eq_b]