simp only [Bool.false_or, true_and]
α : Type u
β : Type v
inst✝ : DecidableEq α
a : α
x : Array α
⊢ (false || anyPair x BEq.beq 0 (size x)) = false ↔ false = false ∧ anyPair x BEq.beq 0 (size x) = false
no goals