Theorem: HW3.problem_2 (BrownCs22/Homework/Hw3.lean)

State before:
U : Type
A B : Set U
⊢ (Aᶜ \ B)ᶜ = A ∪ B
Tactic:
sorry
State after:
no goals