fact: Structure rstabpair : predArgType := RSTabPair { pqpair :> TabPair; _ : is_RStabpair pqpair }.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools partition Yamanouchi ordtype subseq tableau std stdtab