proposition: Lemma shape_yam_of_stdtab t : is_stdtab t -> evalseq (yam_of_stdtab t) = shape t.
proof: Proof. by move=> /yam_of_stdtabK/(congr1 shape); rewrite shape_stdtab_of_yam. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau