fact: Definition swap_set := [fun s : {set 'I_(size x)} => swap @: s : {set 'I_(size x)}].
imports: mathcomp(all_ssreflect) mathcomp(perm) tools ordcast ordtype subseq partition tableau Yamanouchi stdtab Schensted congr plactic Greene