no goals
α : Type u_1
β : Type ?u.203251
γ : Type ?u.203254
p✝ : α → Prop
inst✝² : DecidablePred p✝
p q : α → Prop
inst✝¹ : DecidablePred p
inst✝ : DecidablePred q
s : Multiset α
_l : List α
h : ∀ (x : α), x ∈ Quot.mk Setoid.r _l → (p x ↔ q x)
⊢ ∀ (x : α), x ∈ _l → (decide (p x) = true ↔ decide (q x) = true)
simpa using h