proposition: Lemma eotakeS (A : Type) (d n : nat) (s : seq A) : eotake d.+1 n s = if odd n then eotake d n./2 (otake s) else eotake d n./2 (etake s).
proof: Proof. by []. Qed.
imports: mathcomp(all_ssreflect perm algebra.zmodp) mathcomp(zify) more_tuple nsort