fact: Definition partial_to_tuple (t : {ffun A -> T}) : #|s|.-tuple T := [tuple of map t (enum s)].
imports: mathcomp(all_ssreflect ssralg fingroup zmodp poly ssrnum) mathcomp(matrix perm) ssr_ext ssralg_ext fdist subgraph_partition tanner