fact: Fixpoint try_add_arc_many_to_many (l' l: list A) : relation A := match l' with | nil => R | x::l'' => try_add_arc_one_to_many (try_add_arc_many_to_many l'' l) x l end.
imports: Coq(Sumbool Arith) CoLoR(RelDec RelUtil ListUtil RelSub Path LogicUtil)