fact: Variable repair : repairT [finType of 'F_2] [finType of 'F_2] n.
imports: mathcomp(all_ssreflect ssralg poly polydiv fingroup perm) mathcomp(finalg zmodp matrix mxalgebra mxpoly vector) ssralg_ext hamming linearcode decoding channel_code