apply Set.ext
α : Sort u_1
β : Sort u_2
γ : ?m.14047
f : Set (α → β)
⊢ f.seq Set.empty = Set.empty
case a
α : Sort u_1
β : Sort u_2
γ : ?m.14047
f : Set (α → β)
⊢ ∀ (x : β), x ∈ f.seq Set.empty ↔ x ∈ Set.empty