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