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

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