proposition: Lemma RS_yam y : is_yam y -> RS y = yamtab (evalseq y).
proof: Proof. by move => Hyam; rewrite (RS_yam_RS Hyam) (shape_RS_yam Hyam). Qed.
imports: mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool eqtype ssrnat seq fintype) mathcomp(tuple finfun finset path bigop order) tools partition Yamanouchi ordtype std tableau stdtab Schensted congr plactic Greene_inv stdplact