fact: Definition fintree_enum_dep n l : {s : seq (fintree n l) | map (@ft _ _) s = tree_enum n l.*2 kv}.
imports: mathcomp(all_ssreflect ssralg fingroup zmodp poly ssrnum) mathcomp(matrix perm) ssr_ext ssralg_ext fdist