fact: Variable f : repairT [finType of 'F_2] [finType of 'F_2] r.+1.
imports: mathcomp(all_ssreflect ssralg fingroup finalg perm zmodp) mathcomp(matrix mxalgebra vector) hamming num_occ ssralg_ext f2 linearcode decoding channel_code