fact: Definition liftNth {A: Type} (f : A-> bool) (l : list A ) (n:nat) : bool := match (nth_error l n) with | Some x => f x | None => false end.
imports: Coq.Init.Notations tactics Peano Basics Bool Arith Arith.EqNat Omega