fact: Definition build_nat_lts : forall n l, forallb (bgt_nat n) l = true -> list (N n).
imports: CoLoR(LogicUtil ATrs ListUtil NatUtil VecUtil SN BoolUtil RelUtil ListNodup VecFilterPerm ARelation ACompat NaryFunction BoundNat ListDec)