proposition: Lemma shape_stdtabsh (t : stdtabsh) : shape t = sh.
proof: Proof. Proof using. by case: t => /= t /andP[_ /eqP]. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau