proposition: Lemma LRyamtab_included inner eval outer tab: tab \in (LRyamtab_list inner eval outer) -> included (evalseq (to_word tab)) eval.
proof: Proof. rewrite /LRyamtab_list -(cats0 (to_word tab)). exact: LRyamtab_list_included. Qed.
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule