fact: Structure stdtabn : Set := StdtabN {stdtabnval :> seq (seq nat); _ : is_stdtab_of_n stdtabnval}.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau