fact: Definition SCC_mat M := let N := mat_exp_fast M (S(log2 dim)) in mat_andb N (@mat_transpose dim dim N).
imports: Coq(Bool) CoLoR(Matrix Path Iter SCC ListExtras OrdSemiRing VecUtil RelSub RelUtil NatUtil Log2 LogicUtil BoundNat)