fact: Definition LRyam_list := subType_seq (yameval P2) (map to_word (LRyamtab_list P1 P2 P)).
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule