fact: Fixpoint enum_tuple n : list (vector I n) := match n with | 0 => cons Vnil nil | S p => flat_map (fun ds => map (fun d => Vcons d ds) Is) (enum_tuple p) end.
imports: CoLoR(ATrs AInterpretation BoolUtil LogicUtil EqUtil VecUtil SN RelUtil AWFMInterpretation NaryFunction NatUtil ARelation ARules SetUtil FunUtil VecMax AMorphism) Coq(List)