fact: Definition rowF2_tuplebool {n : nat} (M : 'rV['F_2]_n) : n.-tuple bool := [tuple of map (fun x => x != 0) (tuple_of_row M)].
imports: mathcomp(all_ssreflect ssralg fingroup finalg perm zmodp) mathcomp(matrix mxalgebra vector) ssr_ext f2