fact: Definition non0_codeword_lowest_deg c := [&& c \in C, c != 0 & codeword_lowest_deg c].
imports: mathcomp(all_ssreflect ssralg poly polydiv fingroup perm) mathcomp(finalg zmodp matrix mxalgebra mxpoly vector) ssr_ext ssralg_ext poly_ext f2 hamming decoding channel_code