proposition: Lemma starblankP x : reflect (starblank x) ((x == Star) || (x == Blank)).
proof: Proof. apply/(iffP idP); by [case/orP => /eqP -> | case/letterP : x]. Qed.
imports: mathcomp(all_ssreflect ssralg fingroup finalg perm zmodp) mathcomp(matrix) ssr_ext ssralg_ext num_occ f2 ssrR hamming tanner linearcode