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