fact: Definition Qbnotin : {set {set 'I_(size x)}} := imset swap_set (mem P).
imports: mathcomp(all_ssreflect) mathcomp(perm) tools ordcast ordtype subseq partition tableau Yamanouchi stdtab Schensted congr plactic Greene