simp only [ite_false, Bool.false_or]
α : Type u
m : Type → Type v
inst✝ : Monad m
a : α
x : Array α
p : α → Bool
stop : Nat
⊢ (if false = true then true else anyM p x 0 stop) = (false || anyM p x 0 stop)
no goals