fact: Fixpoint bVexists n (v : vector A n) : bool := match v with | Vnil => false | Vcons a v' => f a || bVexists v' end.
imports: Coq(Vector Program Structures.Equalities Morphisms) CoLoR(LogicUtil NatUtil EqUtil ListUtil BoolUtil RelUtil)