∀ {d : ℤ} {p : Int.Linear.Poly} {h : Lean.Meta.Grind.Arith.Cutsat.DvdCnstrProof} {d_1 : ℤ} {p_1 : Int.Linear.Poly}
  {h_1 : Lean.Meta.Grind.Arith.Cutsat.DvdCnstrProof},
  { d := d, p := p, h := h } = { d := d_1, p := p_1, h := h_1 } → d = d_1 ∧ p = p_1 ∧ h = h_1