fact: Definition mint_gt n (l r : mint n) := Vforall2 mat_gt (args l) (args r) /\ vec_gt (const l) (const r).
imports: CoLoR(AMonAlg Matrix OrdSemiRing VecUtil SN RelUtil LogicUtil AMatrixBasedInt) Coq(Setoid Morphisms)