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

State before:
α : Type u_1
f : Filter α
⊢ Set.univ ∈ f
Tactic:
exact f.univ_mem_sets
State after:
no goals