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

State before:
α : Type u_1
f : Filter α
s t : Set α
hs : s ∈ f
h : s ⊆ t
⊢ t ∈ f
Tactic:
exact f.superset_mem_sets hs h
State after:
no goals