proposition: Lemma size_yam_of_stdtab_rec n t : size (yam_of_stdtab_rec n t) = n.
proof: Proof. by elim: n t => [// | n IHn] /= t; rewrite IHn. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau