∀ {builtin : Std.HashMap Lean.Name (Array Lean.Meta.SimpTheoremKey)}
  {newEntries : Lean.PHashMap Lean.Name (Array Lean.Meta.SimpTheoremKey)}
  {builtin_1 : Std.HashMap Lean.Name (Array Lean.Meta.SimpTheoremKey)}
  {newEntries_1 : Lean.PHashMap Lean.Name (Array Lean.Meta.SimpTheoremKey)},
  { builtin := builtin, newEntries := newEntries } = { builtin := builtin_1, newEntries := newEntries_1 } →
    builtin = builtin_1 ∧ newEntries = newEntries_1