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

State before:
α : Type u_1
f : Filter α
s : Set α
⊢ s ∈ f ↔ s ∈ f.sets
Tactic:
exact Iff.rfl
State after:
no goals