fact: Fixpoint mapii (A : Type) (f : A -> list A) (l : list A) {struct l} : list (list A) := match l with | nil => nil | a :: l => (map (fun b => b :: l) (f a)) ++ (map (fun k => a :: k) (mapii f l)) end.
imports: Coq(Bool List Arith Setoid Relations FunInd) CoLoR(closure)