fact: Definition enum_stdtabn : seq (seq (seq nat)) := map (stdtab_of_yam \o val) (enum ({:yamn n})).
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau