fact: Definition babsolute_finite n (fi : matrixInt dim n) := is_above_zero (Vnth (const fi) dim_pos).
imports: Coq(ZArith Lia) CoLoR(LogicUtil Matrix AMonAlg AArcticBasedInt VecUtil OrdSemiRing SN RelUtil AMatrixBasedInt ListUtil)