Oops missed one

Changes

1 changed files (+1/-1)

• Set.lean
  • @@ -7,7 +7,7 @@ instance : Add (Set α) := ⟨(· ∆ ·)⟩
    @[simp] lemma add_def {a b : Set α} : a + b = a ∆ b := rfl - instance : Zero (Set α) := ⟨{}⟩ + instance : Zero (Set α) := ⟨∅⟩ @[simp] lemma zero_def : (0 : Set α) = ∅ := rfl