fact: Definition mi_eval f (v : vector dom (arity f)) : dom := exist (mi_eval_ok f v).
imports: CoLoR(Matrix AMonAlg VecUtil OrdSemiRing ATrs LogicUtil RelUtil NatUtil AWFMInterpretation) Coq(PeanoNat Setoid Morphisms)