fact: Fixpoint RSmapinv tab yam := if yam is nrow :: yam' then let: (tr, lr) := invinstabnrow tab nrow in rcons (RSmapinv tr yam') lr else [::].
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools partition Yamanouchi ordtype subseq tableau std stdtab