no goals
α : Type u_1
β : Type u_2
γ : Type ?u.258305
ι : Sort ?u.258308
ι' : Sort ?u.258311
ι₂ : Sort ?u.258314
κ : ι → Sort ?u.258319
κ₁ : ι → Sort ?u.258324
κ₂ : ι → Sort ?u.258329
κ' : ι' → Sort ?u.258334
s : Set (α → β)
t : Set α
⊢ ∀ (x : β), x ∈ seq s t ↔ x ∈ ⋃ (f : α → β) (_ : f ∈ s), f '' t
simp [seq]