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