∀ (tempMark permMark : Std.HashSet Lean.Expr) (result : Array Lean.Expr) (tempMark_1 permMark_1 : Std.HashSet Lean.Expr)
  (result_1 : Array Lean.Expr),
  ({ tempMark := tempMark, permMark := permMark, result := result } =
      { tempMark := tempMark_1, permMark := permMark_1, result := result_1 }) =
    (tempMark = tempMark_1 ∧ permMark = permMark_1 ∧ result = result_1)