fact: Definition mi_eval_aux n (mi : mint n) (v : vector vec n) : vec := add_vectors (Vmap2 mat_vec_prod (args mi) v) [+] const mi.
imports: CoLoR(Matrix AMonAlg VecUtil OrdSemiRing ATrs LogicUtil RelUtil NatUtil AWFMInterpretation) Coq(PeanoNat Setoid Morphisms)