proposition: Lemma shape_deg_stdtabn_of_sh t : shape_deg (stdtabn_of_sh t) = sh.
proof: Proof. by apply val_inj; rewrite /= shape_stdtabsh. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau