no goals
α : Type u_1
β : Type u_2
γ : Type ?u.265922
ι : Sort ?u.265925
ι' : Sort ?u.265928
ι₂ : Sort ?u.265931
κ : ι → Sort ?u.265936
κ₁ : ι → Sort ?u.265941
κ₂ : ι → Sort ?u.265946
κ' : ι' → Sort ?u.265951
f : α → β
t : Set α
⊢ ∀ (x : β), x ∈ seq {f} t ↔ x ∈ f '' t
simp