Theorem: FilterGame.Filter.mem_bot (FilterGame/Solutions/Principal.lean)

State before:
α : Type u_1
s : Set α
⊢ s ∈ ⊥
Tactic:
exact True.intro
State after:
no goals