fact: Definition yam_from_LRtab inner eval (tab : seq (seq nat)) := let sinn := sumn inner in map (subs_eval eval) (sfilterleq sinn (to_word tab)).
imports: mathcomp(all_ssreflect) ordtype tableau Yamanouchi stdtab shuffle freeSchur skewtab therule implem