Theorem: FilterGame.Filter.inter_mem (FilterGame/Solutions/Filter.lean)

State before:
α : Type u_1
f : Filter α
s t : Set α
hs : s ∈ f
ht : t ∈ f
⊢ s ∩ t ∈ f
Tactic:
exact f.inter_mem_sets hs ht
State after:
no goals