simp only [Bool.or_eq_true, beq_iff_eq]
α : Type u
inst✝ : DecidableEq α
a b : α
x : Array α
⊢ (any x (fun x => a == x) 0 (size x) || a == b) = true ↔ a ∈ x ∨ a = b
α : Type u
inst✝ : DecidableEq α
a b : α
x : Array α
⊢ any x (fun x => a == x) 0 (size x) = true ∨ a = b ↔ a ∈ x ∨ a = b