fact: Definition apply_seq {A B : Type} (l1 : seq (A -> B)) (l2 : seq A) : seq B := map (fun (p : (A -> B) * A) => (fst p) (snd p)) (zip l1 l2).
imports: Init.Wf Recdef Reals mathcomp(all_ssreflect perm zmodp matrix ssralg) mathcomp(Rstruct) ssrR Reals_ext f2 subgraph_partition tanner fdist channel pproba linearcode ssralg_ext tanner_partition summary ldpc checksum