fact: Fixpoint myNth (n : nat) (l : list rZ) {struct l} : rZ -> rZ := fun default => match n, l with | O, x :: l' => x | S m, x :: t => myNth m t default | _, _ => default end.
imports: Stalmarck(PolyListAux) Stalmarck(makeTriplet) Coq(Arith)