∀ {α : Type u_1} {β : Type u_2} (p : α → β → Bool) (a : α) (b : β) (es : Batteries.AssocList α β),
  Batteries.AssocList.any p (Batteries.AssocList.cons a b es) = (p a b || Batteries.AssocList.any p es)