fact: Structure rspair : predArgType := RSpair { pyampair :> Pair; _ : is_RSpair pyampair }.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools partition Yamanouchi ordtype subseq tableau std stdtab