fact: Structure stdtabsh : Set := StdtabSh { stdtabshval :> seq (seq nat); _ : is_stdtab_of_shape sh stdtabshval }.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau