fact: Fixpoint mat_exp_fast (M : matrix dim dim) n := match n with | O => M | S i => let N := @mat_exp_fast M i in (N <+> id_matrix dim) <*> N end.
imports: Coq(Bool) CoLoR(Matrix Path Iter SCC ListExtras OrdSemiRing VecUtil RelSub RelUtil NatUtil Log2 LogicUtil BoundNat)