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

State before:
U : Type
A B : Set U
⊢ A ∩ B ∪ A = A
Tactic:
sorry
State after:
no goals