∀ {tree : Lean.Meta.DiscrTree Lean.Meta.Ext.ExtTheorem} {erased : Lean.PHashSet Lean.Name}
  {tree_1 : Lean.Meta.DiscrTree Lean.Meta.Ext.ExtTheorem} {erased_1 : Lean.PHashSet Lean.Name},
  { tree := tree, erased := erased } = { tree := tree_1, erased := erased_1 } → tree = tree_1 ∧ erased = erased_1