Theorem: FilterGame.Filter.ext_iff (FilterGame/Filter.lean)

State before:
α : Type u_1
f g : Filter α
⊢ f = g ↔ ∀ (s : Set α), s ∈ f ↔ s ∈ g
Tactic:
sorry
State after:
no goals