fact: Definition BuildArgNames n m := List.app (rev (map nthArgName (NumUpTo n nil))) (rev (map nthRepName (NumUpTo m nil))).
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Numbers.Natural.Peano.NPeano Coq.Strings.String Coq.Arith.Lt Coq.Arith.Compare_dec Coq.Lists.List Coq.ZArith.ZArith