fact: Fixpoint anyb@{} (ls : list T) : bool := match ls with | nil => false | l :: ls => if p l then true else anyb ls end.
imports: Coq.Lists.List ExtLib.Core.RelDec ExtLib.Structures.Monoid ExtLib.Structures.Reducible ExtLib.Tactics.Consider ExtLib.Tactics.Injection