fact: Definition dpg_unif (r1 r2 : rule) := In r1 D /\ In r2 D /\ connectable (rhs r1) (lhs r2).
imports: Coq(Lia Compare_dec) CoLoR(ADecomp AUnif ARenCap ATrs ListUtil RelUtil AGraph LogicUtil AShift ACalls BoolUtil ADuplicateSymb ListDec EqUtil AHDE)