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