fact: Definition is_stdtab_of_shape sh := [pred t | (is_stdtab t) && (shape t == sh) ].
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau