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

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