proposition: Lemma size_stdtab_of_yam y : size_tab (stdtab_of_yam y) = size y.
proof: Proof. elim: y => [// | y0 y IHy] /=. by rewrite -{}IHy /size_tab shape_append_nth sumn_incr_nth. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau