fact: Parameter fold_spec : forall (A : Type) (i : A) (f : elt -> A -> A), fold f s i = fold_left (flip f) (elements s) i.
imports: Bool SetoidList RelationClasses Morphisms RelationPairs Equalities Orders OrdersFacts