fact: Definition monotone_interpretation n (fi : matrixInt dim n) := Vforall (fun m => get_elem m dim_pos dim_pos > 0) (args fi).
imports: Coq(Setoid) CoLoR(LogicUtil Matrix OrdSemiRing VecUtil AMonAlg SN RelUtil AWFMInterpretation NatUtil AMatrixBasedInt)