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

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