fact: Definition repair r : repairT [finFieldType of 'F_2] [finFieldType of 'F_2] r.+1 := [ffun l => majority_vote r.+1 (tuple_of_row l)].
imports: mathcomp(all_ssreflect ssralg fingroup finalg perm zmodp) mathcomp(matrix mxalgebra vector) hamming num_occ ssralg_ext f2 linearcode decoding channel_code