fact: Definition MoG := @mat_build dim dim (fun x y _ _ => match R_dec x y with | left _ => true | right _ => false end).
imports: Coq(Bool) CoLoR(Matrix Path Iter SCC ListExtras OrdSemiRing VecUtil RelSub RelUtil NatUtil Log2 LogicUtil BoundNat)