fact: Parameter trsIntOk : forall f : sig, somewhere_tfinite dim_pos (trsInt f).
imports: CoLoR(ATropicalBasedInt Matrix OrdSemiRing VecUtil AMonAlg SN RelUtil NatUtil AWFMInterpretation LogicUtil AMatrixBasedInt BoolUtil ListUtil) Coq(Structures.Equalities)