fact: Definition dpg_unif_N r1 r2 := mem r1 D && mem r2 D && connectable_N r1 r2.
imports: Coq(Lia Compare_dec) CoLoR(ADecomp AUnif ARenCap ATrs ListUtil RelUtil AGraph LogicUtil AShift ACalls BoolUtil ADuplicateSymb ListDec EqUtil AHDE)