fact: Definition RSclass := [fun tab => [seq RSmapinv2 (tab, y) | y <- enum_yameval (shape tab)] ].
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools partition Yamanouchi ordtype subseq tableau std stdtab