fact: Definition somewhere_tfinite n (fi : matrixInt dim n) := Vexists (fun m => get_elem m dim_pos dim_pos <> PlusInf) (args fi) \/ Vnth (const fi) dim_pos <> PlusInf.
imports: CoLoR(ATropicalBasedInt Matrix OrdSemiRing VecUtil AMonAlg SN RelUtil NatUtil AWFMInterpretation LogicUtil AMatrixBasedInt BoolUtil ListUtil) Coq(Structures.Equalities)