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