fact: Definition lel (a b : letter) := (a == b) || if a is Bit _ then b == Star else false.
imports: mathcomp(all_ssreflect ssralg fingroup finalg perm zmodp) mathcomp(matrix) ssr_ext ssralg_ext num_occ f2 ssrR hamming tanner linearcode