fact: Variables (T : countType) (n : nat) (w : n.-tuple T).
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup action gproduct) tools combclass sorted partition composition multinomial permcomp cycles