fact: Definition bsomewhere_finite n (fi : matrixInt dim n) := bVexists (fun m => is_finite (get_elem m dim_pos dim_pos)) (args fi) || is_finite (Vnth (const fi) dim_pos).
imports: CoLoR(AArcticBasedInt Matrix OrdSemiRing VecUtil AMonAlg SN RelUtil NatUtil AWFMInterpretation LogicUtil AMatrixBasedInt BoolUtil ListUtil)