proposition: Lemma bijRStab : bijective RStab.
proof: Proof. Proof using. by split with (g := RStabinv); [exact: RStabK | exact: RStabinvK]. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools partition Yamanouchi ordtype subseq tableau std stdtab