proposition: Lemma GoM_dec : forall x y, {GoM M x y} + {~GoM M x y}.
proof: Proof. intros; unfold GoM; apply (bool_dec (M[[x,y]]) true). Qed.
imports: Coq(Bool) CoLoR(Matrix Path Iter SCC ListExtras OrdSemiRing VecUtil RelSub RelUtil NatUtil Log2 LogicUtil BoundNat)