fact: Definition relation_list {A: Type} (R: list (relation A)) : relation A := fold_left compond_relation R eq.
imports: Coq.Classes.Morphisms Coq.Lists.List CertiGraph.lib.Coqlib CertiGraph.lib.List_ext CertiGraph.lib.List_Func_ext CertiGraph.lib.Relation_ext