fact: Variables (R S : relation nat) (restriction : is_restricted R (nats_decr_lt (length Dom))) (restriction' : is_restricted S (nats_decr_lt (length Dom))) (Dom_nodup : nodup Dom).
imports: CoLoR(ListUtil SCC ListExtras Path Iter AdjMat RelSub LogicUtil ListNodup RelUtil BoundNat)