fact: Fixpoint nthTail (n : nat) : list rZ -> list rZ := fun l : list rZ => match n, l with | O, l => l | S n', nil => nil | S n', t :: l' => nthTail n' l' end.
imports: Stalmarck(PolyListAux) Stalmarck(makeTriplet) Coq(Arith)