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