fact: Variable matrixInt_monotone : forall f : sig, monotone_interpretation (trsInt f).
imports: Coq(Setoid) CoLoR(LogicUtil Matrix OrdSemiRing VecUtil AMonAlg SN RelUtil AWFMInterpretation NatUtil BigNUtil AMatrixBasedInt)