proposition: Lemma size_yam_of_stdtab t : is_stdtab t -> size (yam_of_stdtab t) = size_tab t.
proof: Proof. move=> Htab. by rewrite /size_tab -(shape_yam_of_stdtab Htab) evalseq_eq_size. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau