∀ (visited : Std.HashSet (ℕ × Lean.Expr)) (bvars : Std.HashSet ℕ) (visited_1 : Std.HashSet (ℕ × Lean.Expr))
  (bvars_1 : Std.HashSet ℕ),
  ({ visited := visited, bvars := bvars } = { visited := visited_1, bvars := bvars_1 }) =
    (visited = visited_1 ∧ bvars = bvars_1)