Theorem: Set.subset_union_three₂ (Arithmetization/Vorspiel/Vorspiel.lean)

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