fact: Fixpoint stdtab_of_yam y := if y is y0 :: y' then append_nth (stdtab_of_yam y') (size y') y0 else [::].
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau