fact: Definition enum_stdtabsh sh : seq (seq (seq nat)) := map stdtab_of_yam (enum_yameval sh).
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau