fact: Record matrixInt : Type := mkMatrixInt { const : vector A dim; args : vector (matrix dim dim) argCnt }.
imports: CoLoR(Matrix AMonAlg VecUtil OrdSemiRing ATrs LogicUtil RelUtil NatUtil AWFMInterpretation) Coq(PeanoNat Setoid Morphisms)