no goals
α✝ : Type ?u.17927
β : Type ?u.17930
γ : Type ?u.17933
inst✝³ : Fintype α✝
inst✝² : Nonempty α✝
α : Type u_1
inst✝¹ : Fintype α
inst✝ : Nonempty α
x : α
⊢ x ∈ support (uniformOfFintype α) ↔ x ∈ ⊤
simp [mem_support_iff]