Theorem: BrownCs22.Set.inter_union_cancel_left (BrownCs22/Library/Defs.lean)

State before:
α : Type u
s t : Set α
⊢ s ∩ t ∪ s = s
Tactic:
simp
State after:
no goals