fact: Fixpoint yam_of_stdtab_rec n t := if n is n'.+1 then (last_big t n') :: yam_of_stdtab_rec n' (remn t) else [::].
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau