fact: Definition forFoldr {A B : Type} (b : B) (v : list A) (f : A → B → B) : B := fold_right f b v.
imports: Coq.Lists.List Equations(Equations) Equations.Type.EqDec Category.Lib Category.Theory.Coq.Functor Category.Theory.Coq.Applicative Category.Theory.Coq.Monad Category.Theory.Coq.Maybe Coq.Lists.List