fact: Definition ksetsP (A : finType) k (P : pred {set A}) := [set x : {set A} | (#|x| == k) && P x ].
imports: mathcomp(all_ssreflect ssralg fingroup zmodp poly ssrnum) mathcomp(matrix perm) ssr_ext ssralg_ext fdist subgraph_partition tanner